Package pascal.taie.config

Class Options

java.lang.Object
pascal.taie.config.Options
All Implemented Interfaces:
Serializable
public class Options extends Object implements Serializable
Option class for Tai-e. We name this class in the plural to avoid name collision with CommandLine.Option.
See Also:

  • Constructor Details

    • Options

      public Options()

  • Method Details

    • isPrintHelp

      public boolean isPrintHelp()

    • printHelp

      public void printHelp()

    • getClassPath

      public String getClassPath()

    • getAppClassPath

      public String getAppClassPath()

    • getMainClass

      public String getMainClass()

    • getInputClasses

      public List<String> getInputClasses()

    • getJavaVersion

      public int getJavaVersion()

    • isPrependJVM

      public boolean isPrependJVM()

    • isAllowPhantom

      public boolean isAllowPhantom()

    • getWorldBuilderClass

      public Class<? extends WorldBuilder> getWorldBuilderClass()

    • getOutputDir

      public File getOutputDir()

    • isPreBuildIR

      public boolean isPreBuildIR()

    • isWorldCacheMode

      public boolean isWorldCacheMode()

    • getScope

      public Scope getScope()

    • enableNativeModel

      public boolean enableNativeModel()

    • getPlanFile

      public File getPlanFile()

    • getAnalyses

      public Map<String,String> getAnalyses()

    • isOnlyGenPlan

      public boolean isOnlyGenPlan()

    • getKeepResult

      public Set<String> getKeepResult()

    • parse

      public static Options parse(String... args)
      Parses arguments and return the parsed and post-processed Options.

    • toString

      public String toString()
      Overrides:
      toString in class Object