Uses of Class
pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

Packages that use SpecifiedParamProvider.Builder

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

Uses of SpecifiedParamProvider.Builder in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return SpecifiedParamProvider.Builder

Modifier and Type	Method	Description
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addArrayObj(Obj array, Obj elem)
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addFieldObj(Obj base, JField field, Obj obj)
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addParamObj(int i, Obj paramObj)
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addThisObj(Obj thisObj)
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.setDelegate(ParamProvider delegate)