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

Class DeclaredParamProvider

java.lang.Object

pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

All Implemented Interfaces:

ParamProvider

public class DeclaredParamProvider
extends Object
implements ParamProvider

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. This class ignores non-instantiable types, i.e., primitive types and abstract classes.

Constructor Summary

Constructors

Constructor	Description
DeclaredParamProvider(JMethod method, HeapModel heapModel)
DeclaredParamProvider(JMethod method, HeapModel heapModel, int k)

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

Constructor Details

DeclaredParamProvider

public DeclaredParamProvider(JMethod method,
 HeapModel heapModel)

Parameters:

method - the entry method.

heapModel - the model for generating mock objects.

DeclaredParamProvider

public DeclaredParamProvider(JMethod method,
 HeapModel heapModel,
 int k)

Parameters:

method - the entry method.

heapModel - the model for generating mock objects.

k - level of field/array accesses. If this is not 0, the provider generates objects recursively along k field/array accesses.

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.