Uses of Class
pascal.taie.config.AnalysisOptions

Packages that use AnalysisOptions

Package	Description
pascal.taie.analysis
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.toolkit.mahjong	This package contains implementation of Mahjong, which builds heap model by mering type-consistent objects.
pascal.taie.config	This package provides functionality for processing options and configurations.

Uses of AnalysisOptions in pascal.taie.analysis

Methods in pascal.taie.analysis that return AnalysisOptions

Modifier and Type	Method	Description
AnalysisOptions	Analysis.getOptions()

Uses of AnalysisOptions in pascal.taie.analysis.pta.core.heap

Constructors in pascal.taie.analysis.pta.core.heap with parameters of type AnalysisOptions

Modifier	Constructor	Description
protected	AbstractHeapModel(AnalysisOptions options)
	AllocationSiteBasedModel(AnalysisOptions options)

Uses of AnalysisOptions in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return AnalysisOptions

Modifier and Type	Method	Description
AnalysisOptions	DefaultSolver.getOptions()
AnalysisOptions	Solver.getOptions()

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type AnalysisOptions

Modifier	Constructor	Description
	DefaultSolver(AnalysisOptions options, HeapModel heapModel, ContextSelector contextSelector, CSManager csManager)

Uses of AnalysisOptions in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type AnalysisOptions

Modifier and Type	Method	Description
static void	ResultProcessor.process(AnalysisOptions options, PointerAnalysisResult result)

Uses of AnalysisOptions in pascal.taie.analysis.pta.toolkit.mahjong

Methods in pascal.taie.analysis.pta.toolkit.mahjong with parameters of type AnalysisOptions

Modifier and Type	Method	Description
static HeapModel	Mahjong.run(PointerAnalysisResult pta, AnalysisOptions options)

Uses of AnalysisOptions in pascal.taie.config

Methods in pascal.taie.config that return AnalysisOptions

Modifier and Type	Method	Description
AnalysisOptions	AnalysisConfig.getOptions()
AnalysisOptions	PlanConfig.getOptions()

Constructors in pascal.taie.config with parameters of type AnalysisOptions

Modifier	Constructor	Description
	AnalysisConfig(String description, String analysisClass, String id, List<String> requires, AnalysisOptions options)	Used by deserialization from configuration file.
	PlanConfig(String id, AnalysisOptions options)