Uses of Class
pascal.taie.config.Options

Packages that use Options

Package	Description
pascal.taie
pascal.taie.config	This package provides functionality for processing options and configurations.
pascal.taie.frontend.cache
pascal.taie.frontend.soot

Uses of Options in pascal.taie

Methods in pascal.taie that return Options

Modifier and Type	Method	Description
Options	World.getOptions()

Methods in pascal.taie with parameters of type Options

Modifier and Type	Method	Description
void	WorldBuilder.build(Options options, List<AnalysisConfig> analyses)	Builds a new instance of World and make it globally accessible through static methods of World.
protected static String	AbstractWorldBuilder.getClassPath(Options options)
protected static List<String>	AbstractWorldBuilder.getInputClasses(Options options)	Obtains all input classes specified in options.
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 Options

Modifier and Type	Method	Description
static Options	Options.parse(String... args)	Parses arguments and return the parsed and post-processed Options.

Methods in pascal.taie.config with parameters of type Options

Modifier and Type	Method	Description
static 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 Options

Modifier and Type	Method	Description
void	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 Options

Modifier and Type	Method	Description
void	SootWorldBuilder.build(Options options, List<AnalysisConfig> analyses)