|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.spark.pag.Node
Represents every node in the pointer assignment graph.
Field Summary | |
protected PointsToSetInternal |
p2set
|
protected PAG |
pag
|
protected Node |
replacement
|
protected Type |
type
|
Method Summary | |
boolean |
equals(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 |
setType(Type type)
Sets the declared type of this node, null for unknown. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected Type type
protected Node replacement
protected PAG pag
protected PointsToSetInternal p2set
Method Detail |
public final int hashCode()
public final boolean equals(Object other)
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 final int getNumber()
getNumber
in interface Numberable
public final void setNumber(int number)
setNumber
in interface Numberable
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |