CFGVisualizeOptions (checker-framework 3.39.0-eisop1 API)

java.lang.Object
- org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions

```
public class CFGVisualizeOptions
extends java.lang.Object
```
Options for running analysis on files.
Usage: An instance of this class is created by calling parseArgs(String[]) with the command line arguments. The arguments are parsed and the options are stored in the instance. They can be retrieved by calling the appropriate getter method. See CFGVisualizeLauncher for an example.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.String`	`getClassName()`	Getter for the class name.
`java.lang.String`	`getInputFile()`	Getter for the input file.
`java.lang.String`	`getMethodName()`	Getter for the method name.
`java.lang.String`	`getOutputDirectory()`	Getter for the output directory.
`boolean`	`isPDF()`	Getter for the PDF flag.
`boolean`	`isString()`	Getter for the string flag.
`boolean`	`isVerbose()`	Getter for the verbose flag.
`static CFGVisualizeOptions`	`parseArgs(java.lang.String[] args)`	Parse the command line arguments.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - parseArgs
```
public static CFGVisualizeOptions parseArgs(java.lang.String[] args)
```
    Parse the command line arguments.
    This method calls System.exit(1) if there are no arguments or if the input file cannot be read.
    
    Parameters:
    
    args - command-line arguments, see printUsage()
    
    Returns:
    
    CFGVisualizeOptions object containing the parsed options
  - getInputFile
```
public java.lang.String getInputFile()
```
    Getter for the input file.
    
    Returns:
    
    the input file
  - getOutputDirectory
```
public java.lang.String getOutputDirectory()
```
    Getter for the output directory.
    
    Returns:
    
    the output directory
  - getMethodName
```
public java.lang.String getMethodName()
```
    Getter for the method name.
    
    Returns:
    
    the method name
  - getClassName
```
public java.lang.String getClassName()
```
    Getter for the class name.
    
    Returns:
    
    the class name
  - isPDF
```
public boolean isPDF()
```
    Getter for the PDF flag.
    
    Returns:
    
    true if the PDF should be generated
  - isVerbose
```
public boolean isVerbose()
```
    Getter for the verbose flag.
    
    Returns:
    
    true if the verbose output should be generated
  - isString
```
public boolean isString()
```
    Getter for the string flag.
    
    Returns:
    
    true if the string representation should be generated