Package pascal.taie.analysis.pta.core.heap

Class MergedObj

java.lang.Object

pascal.taie.analysis.pta.core.heap.Obj

pascal.taie.analysis.pta.core.heap.MergedObj

All Implemented Interfaces:

Indexable

public class MergedObj
extends Obj

Represents a set of merged objects.

Constructor Summary

Constructors

Constructor	Description
MergedObj(Type type, String name)

Method Summary

Modifier and Type	Method	Description
void	addRepresentedObj(Obj obj)
Set<Obj>	getAllocation()
Optional<JMethod>	getContainerMethod()
Type	getContainerType()	This method is useful for type sensitivity.
Type	getType()
String	toString()

Methods inherited from class pascal.taie.analysis.pta.core.heap.Obj

getIndex, isFunctional

Methods inherited from class java.lang.Object

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

Constructor Details

MergedObj

public MergedObj(Type type,
 String name)

Method Details

addRepresentedObj

public void addRepresentedObj(Obj obj)

getAllocation

public Set<Obj> getAllocation()

Specified by:

getAllocation in class Obj

Returns:

the allocation of the object.

getType

public Type getType()

Specified by:

getType in class Obj

Returns:

the type of the object.

getContainerMethod

public Optional<JMethod> getContainerMethod()

Specified by:

getContainerMethod in class Obj

Returns:

the method containing the allocation site of this object. For some special objects, e.g., string constants, which are not allocated in any method, this API returns an empty Optional.

getContainerType

public Type getContainerType()

Description copied from class: Obj

This method is useful for type sensitivity.

Specified by:

getContainerType in class Obj

Returns:

the type containing the allocation site of this object. For special objects, the return values of this method are also special.

toString

public String toString()

Overrides:

toString in class Object