Package pascal.taie.analysis.pta.core.solver

Class SpecifiedParamProvider.Builder

java.lang.Object

pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

Enclosing class:

SpecifiedParamProvider

public static class SpecifiedParamProvider.Builder
extends Object

Constructor Summary

Constructors

Constructor	Description
Builder(JMethod method)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Builder

public Builder(JMethod method)

Method Details

setDelegate

public SpecifiedParamProvider.Builder setDelegate(ParamProvider delegate)

addThisObj

public SpecifiedParamProvider.Builder addThisObj(Obj thisObj)

addParamObj

public SpecifiedParamProvider.Builder addParamObj(int i,
 Obj paramObj)

addFieldObj

public SpecifiedParamProvider.Builder addFieldObj(Obj base,
 JField field,
 Obj obj)

addArrayObj

public SpecifiedParamProvider.Builder addArrayObj(Obj array,
 Obj elem)

build

public SpecifiedParamProvider build()