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

Class NewObj

java.lang.Object

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

pascal.taie.analysis.pta.core.heap.NewObj

All Implemented Interfaces:

Indexable

public class NewObj
extends Obj

Objects that are created by new statements.

Method Summary

Modifier and Type	Method	Description
New	getAllocation()
Optional<JMethod>	getContainerMethod()
Type	getContainerType()	This method is useful for type sensitivity.
ReferenceType	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

Method Details

getType

public ReferenceType getType()

Specified by:

getType in class Obj

Returns:

the type of the object.

getAllocation

public New getAllocation()

Specified by:

getAllocation in class Obj

Returns:

the allocation 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