accrue.analysis.pointer

Class ReferenceVariableReplica

java.lang.Object

accrue.analysis.pointer.PointsToGraphNode

accrue.analysis.pointer.ReferenceVariableReplica

public class ReferenceVariableReplica
extends PointsToGraphNode

Field Summary

Fields

Modifier and Type	Field and Description
CContext	context
ReferenceVariable	r

Method Summary

Methods

Modifier and Type	Method and Description
static ReferenceVariableReplica	create(CContext context, ReferenceVariable r, HeapAbstractionFactory af)
boolean	equals(java.lang.Object o)
boolean	equalsSemantic(ReferenceVariableReplica that)
polyglot.types.Type	expectedType()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

context

public final CContext context

r

public final ReferenceVariable r

Method Detail

create

public static ReferenceVariableReplica create(CContext context,
                              ReferenceVariable r,
                              HeapAbstractionFactory af)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equalsSemantic

public boolean equalsSemantic(ReferenceVariableReplica that)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

expectedType

public polyglot.types.Type expectedType()

Specified by:

expectedType in class PointsToGraphNode