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

Class SpecifiedParamProvider

java.lang.Object

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

All Implemented Interfaces:

ParamProvider

public class SpecifiedParamProvider
extends Object
implements ParamProvider

This ParamProvider returns this/parameter objects specified via its builder. For non-specified this variable or parameters, the SpecifiedParamProvider.Builder.delegate's result will be returned.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SpecifiedParamProvider.Builder

Method Summary

Modifier and Type	Method	Description
MultiMap<Obj,Obj>	getArrayObjs()
TwoKeyMultiMap<Obj,JField,Obj>	getFieldObjs()
Set<Obj>	getParamObjs(int i)
Set<Obj>	getThisObjs()

Methods inherited from class java.lang.Object

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

Method Details

getThisObjs

public Set<Obj> getThisObjs()

Specified by:

getThisObjs in interface ParamProvider

Returns:

the objects for this variable.

getParamObjs

public Set<Obj> getParamObjs(int i)

Specified by:

getParamObjs in interface ParamProvider

Returns:

the objects for i-th parameter (starting from 0).

getFieldObjs

public TwoKeyMultiMap<Obj,JField,Obj> getFieldObjs()

Specified by:

getFieldObjs in interface ParamProvider

Returns:

the objects pointed to by parameter objects' fields.

getArrayObjs

public MultiMap<Obj,Obj> getArrayObjs()

Specified by:

getArrayObjs in interface ParamProvider

Returns:

the elements contained in parameter arrays.