Package org.checkerframework.dataflow.cfg.visualize

Class CFGVisualizeOptions

java.lang.Object
org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions
public class CFGVisualizeOptions extends 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 Details

    • parseArgs

      public static CFGVisualizeOptions parseArgs(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 String getInputFile()
      Getter for the input file.
      Returns:
      the input file

    • getOutputDirectory

      public String getOutputDirectory()
      Getter for the output directory.
      Returns:
      the output directory

    • getMethodName

      public String getMethodName()
      Getter for the method name.
      Returns:
      the method name

    • getClassName

      public String getClassName()
      Getter for the class name.
      Returns:
      the class name

    • isPdfOutput

      public boolean isPdfOutput()
      Returns true if PDF output should be generated.
      Returns:
      true if PDF output should be generated

    • isStringOutput

      public boolean isStringOutput()
      Returns true if the string representation should be generated.
      Returns:
      true if the string representation should be generated

    • isVerbose

      public boolean isVerbose()
      Returns true if the verbose output should be generated.
      Returns:
      true if the verbose output should be generated