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.Objectpublic final boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic 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 Numberablepublic final void setNumber(int number)
setNumber in interface Numberable