Package pascal.taie.analysis.pta.toolkit

Class PointerAnalysisResultExImpl

java.lang.Object

pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

All Implemented Interfaces:

PointerAnalysisResultEx

public class PointerAnalysisResultExImpl
extends Object
implements PointerAnalysisResultEx

Constructor Summary

Constructors

Constructor	Description
PointerAnalysisResultExImpl(PointerAnalysisResult base, boolean eagerInit)	Constructs an extended pointer analysis result.

Method Summary

Modifier and Type	Method	Description
PointerAnalysisResult	getBase()
Set<JMethod>	getMethodsInvokedOn(Obj obj)
Set<Obj>	getObjectsAllocatedIn(JMethod method)
Set<Obj>	getObjectsOf(Type type)
Set<Type>	getObjectTypes()
Set<Obj>	getReceiverObjectsOf(JMethod method)

Methods inherited from class java.lang.Object

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

Constructor Details

PointerAnalysisResultExImpl

public PointerAnalysisResultExImpl(PointerAnalysisResult base,
 boolean eagerInit)

Constructs an extended pointer analysis result.

Parameters:

base - base pointer analysis result

eagerInit - whether initialize all fields eagerly; if this result will be accessed in concurrent setting, then the caller should give true.

Method Details

getBase

public PointerAnalysisResult getBase()

Specified by:

getBase in interface PointerAnalysisResultEx

Returns:

the base pointer analysis result.

getMethodsInvokedOn

public Set<JMethod> getMethodsInvokedOn(Obj obj)

Specified by:

getMethodsInvokedOn in interface PointerAnalysisResultEx

Returns:

the methods whose receiver objects contain obj.

getReceiverObjectsOf

public Set<Obj> getReceiverObjectsOf(JMethod method)

Specified by:

getReceiverObjectsOf in interface PointerAnalysisResultEx

Returns:

the receiver objects of given method.

getObjectsAllocatedIn

public Set<Obj> getObjectsAllocatedIn(JMethod method)

Specified by:

getObjectsAllocatedIn in interface PointerAnalysisResultEx

Returns:

the objects that are allocated in given method.

getObjectsOf

public Set<Obj> getObjectsOf(Type type)

Specified by:

getObjectsOf in interface PointerAnalysisResultEx

Returns:

the objects of given type.

getObjectTypes

public Set<Type> getObjectTypes()

Specified by:

getObjectTypes in interface PointerAnalysisResultEx

Returns:

types of all reachable objects in pointer analysis.