Uses of Class
pascal.taie.config.Options
Packages that use Options
Package
Description
This package provides functionality for processing options and configurations.
-
Uses of Options in pascal.taie
Methods in pascal.taie that return OptionsMethods in pascal.taie with parameters of type OptionsModifier and TypeMethodDescriptionvoid
WorldBuilder.build
(Options options, List<AnalysisConfig> analyses) protected static String
AbstractWorldBuilder.getClassPath
(Options options) AbstractWorldBuilder.getInputClasses
(Options options) Obtains all input classes specified inoptions
.protected static NativeModel
AbstractWorldBuilder.getNativeModel
(TypeSystem typeSystem, ClassHierarchy hierarchy, Options options) void
World.setOptions
(Options options) -
Uses of Options in pascal.taie.config
Methods in pascal.taie.config that return OptionsModifier and TypeMethodDescriptionstatic Options
Parses arguments and return the parsed and post-processed Options.Methods in pascal.taie.config with parameters of type OptionsModifier and TypeMethodDescriptionstatic List<PlanConfig>
PlanConfig.readConfigs
(Options options) Reads a list of PlanConfig from options. -
Uses of Options in pascal.taie.frontend.cache
Methods in pascal.taie.frontend.cache with parameters of type OptionsModifier and TypeMethodDescriptionvoid
CachedWorldBuilder.build
(Options options, List<AnalysisConfig> analyses) static File
CachedWorldBuilder.getWorldCacheFile
(Options options) -
Uses of Options in pascal.taie.frontend.soot
Methods in pascal.taie.frontend.soot with parameters of type OptionsModifier and TypeMethodDescriptionvoid
SootWorldBuilder.build
(Options options, List<AnalysisConfig> analyses)