Package de.uzl.its.swat.config

Class Config

java.lang.Object
de.uzl.its.swat.config.Config
public class Config extends Object
The Config class is responsible for reading the configuration file and providing the application with the configuration options. It is a singleton class, and the instance should be fetched using the static instance() method.

  • Method Details

    • instance

      public static Config instance()
      Instance method. Should be used to obtain config object
      Returns:
      The config instance.

    • getExplorerHost

      public String getExplorerHost()
      Host name of the symbolic explorer.

    • getExplorerPort

      public int getExplorerPort()
      Port number of the symbolic explorer.

    • getExplorerTraceURI

      public String getExplorerTraceURI()
      URI where the symbolic explorer receives trace information.

    • getLoggingDirectory

      public String getLoggingDirectory()
      Directory to store logs and instrumented .class files.

    • getLoggingLevel

      public org.slf4j.event.Level getLoggingLevel()
      Sets the logging level. Default: "Level.INFO"

    • isLoggingClasses

      public boolean isLoggingClasses()
      Flag to determine if instrumented classes should be written out.

    • isLoggingDebug

      public boolean isLoggingDebug()
      Flag for enabling debug mode.

    • isLoggingInvocations

      public boolean isLoggingInvocations()
      Flag for enabling invocation logging.

    • getLoggingFormulaLength

      public int getLoggingFormulaLength()
      Length to print symbolic formula.

    • getInstrumentationDispatcher

      public String getInstrumentationDispatcher()
      Fully qualified name of the class that receives instruction information from the concrete execution.

    • getInstrumentationPrefix

      public String getInstrumentationPrefix()
      Custom function name for analysis.

    • getInstrumentationIncludePackages

      public String[] getInstrumentationIncludePackages()
      Packages to be instrumented.

    • getInstrumentationExcludePackages

      public String[] getInstrumentationExcludePackages()
      Packages to be excluded from instrumentation.

    • getInstrumentationParameterSymbolicClassName

      public String getInstrumentationParameterSymbolicClassName()
      Fully qualified class name that should be tracked symbolically. Supports basic regex.

    • getInstrumentationParameterSymbolicMethodName

      public String getInstrumentationParameterSymbolicMethodName()
      Method name that should be tracked symbolically. Supports basic regex.

    • isInstrumentationInstructionIds

      public boolean isInstrumentationInstructionIds()
      Flag to enable or disable instruction IDs. No default value, as it is derived from the loggingDebug option.

    • getInstrumentationTransformer

      public TransformerType getInstrumentationTransformer()
      Type of transformer to be used.

    • getSolverMode

      public SolverMode getSolverMode()
      Determines solver mode should be used.

    • isExitOnError

      public boolean isExitOnError()
      Flag to determine if the application should exit on errors.

    • isSvcompRandomInputs

      public boolean isSvcompRandomInputs()
      Determines if Verifier randomness is enabled.