public class Node extends java.lang.Object implements ReferenceVariable, Numberable
Modifier and Type | Field and Description |
---|---|
protected PointsToSetInternal |
p2set |
protected PAG |
pag |
protected Node |
replacement |
protected Type |
type |
Modifier and Type | Method and Description |
---|---|
void |
discardP2Set()
Delete current points-to set and make a new one
|
boolean |
equals(java.lang.Object other) |
int |
getNumber() |
PointsToSetInternal |
getP2Set()
Returns the points-to set for this node.
|
PAG |
getPag()
Returns the pointer assignment graph that this node is a part of.
|
Node |
getReplacement()
If this node has been merged with another, returns the new node to be
used as the representative of this node; returns this if the node has
not been merged.
|
Type |
getType()
Returns the declared type of this node, null for unknown.
|
int |
hashCode() |
PointsToSetInternal |
makeP2Set()
Returns the points-to set for this node, makes it if necessary.
|
void |
mergeWith(Node other)
Merge with the node other.
|
void |
setNumber(int number) |
void |
setP2Set(PointsToSetInternal ptsInternal)
Use the specified points-to set to replace current one
|
void |
setType(Type type)
Sets the declared type of this node, null for unknown.
|
protected Type type
protected Node replacement
protected PAG pag
protected PointsToSetInternal p2set
public final int hashCode()
hashCode
in class java.lang.Object
public final boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public Type getType()
public void setType(Type type)
public Node getReplacement()
public void mergeWith(Node other)
public PointsToSetInternal getP2Set()
public PointsToSetInternal makeP2Set()
public PAG getPag()
public void discardP2Set()
public void setP2Set(PointsToSetInternal ptsInternal)
public final int getNumber()
getNumber
in interface Numberable
public final void setNumber(int number)
setNumber
in interface Numberable