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

Class ConstantObj

java.lang.Object

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

pascal.taie.analysis.pta.core.heap.ConstantObj

All Implemented Interfaces:

Indexable

public class ConstantObj
extends Obj

Objects that represent constants.

Method Summary

Modifier and Type	Method	Description
ReferenceLiteral	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

Method Details

getType

public Type getType()

Specified by:

getType in class Obj

Returns:

the type of the object.

getAllocation

public ReferenceLiteral 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