Uses of Interface
pascal.taie.analysis.pta.core.solver.ParamProvider

Packages that use ParamProvider

Package	Description
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.

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

Classes in pascal.taie.analysis.pta.core.solver that implement ParamProvider

Modifier and Type	Class	Description
class	DeclaredParamProvider	This ParamProvider creates parameter objects of the declared types, and the objects pointed to by fields of parameter objects, as well as elements of array objects.
enum	EmptyParamProvider	This ParamProvider ignored all parameters.
class	SpecifiedParamProvider	This ParamProvider returns this/parameter objects specified via its builder.

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

Modifier and Type	Method	Description
ParamProvider	EntryPoint.paramProvider()	Returns the value of the paramProvider record component.

Methods in pascal.taie.analysis.pta.core.solver with parameters of type ParamProvider

Modifier and Type	Method	Description
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.setDelegate(ParamProvider delegate)

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

Modifier	Constructor	Description
	EntryPoint(JMethod method, ParamProvider paramProvider)	Creates an instance of a EntryPoint record class.