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

    • 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