Package pascal.taie.analysis.pta.core.cs.element

Class CSObj

java.lang.Object

pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

pascal.taie.analysis.pta.core.cs.element.CSObj

All Implemented Interfaces:

CSElement, Indexable

public class CSObj
extends AbstractCSElement
implements Indexable

Represents context-sensitive objects.

Field Summary

Fields inherited from class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

context

Method Summary

Modifier and Type	Method	Description
int	getIndex()
Obj	getObject()
String	toString()

Methods inherited from class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

getContext

Methods inherited from class java.lang.Object

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

Method Details

getObject

public Obj getObject()

Returns:

the abstract object (without context).

getIndex

public int getIndex()

Specified by:

getIndex in interface Indexable

Returns:

index of this object. The index should be a non-negative integer.

toString

public String toString()

Overrides:

toString in class Object