Class ExecutionOptions


  • public class ExecutionOptions
    extends Object
    Extensible command-line parsing. New command-line options can be registered using 'registerOption'.
    • Field Detail

      • stopAtFirstError

        public boolean stopAtFirstError
      • doNotExecute

        public boolean doNotExecute
      • executor

        public String executor
      • bugsFile

        public String bugsFile
      • verbosity

        public int verbosity
    • Method Detail

      • readBugsFile

        public Set<String> readBugsFile()
                                 throws IOException
        Read the list of statements and queries to skip from a file. The file can contain comments on lines starting with // Everything else is interpreted as a one-line statement (or query).
        Throws:
        IOException
      • getDirectories

        public List<String> getDirectories()
      • error

        public void error​(Throwable ex)
      • message

        public void message​(String message,
                            int importance)
        Report a message to the user.
        Parameters:
        message - Message to report.
        importance - Importance. Higher means less important.