|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.jimple.spark.pag.Node soot.jimple.spark.pag.ValNode soot.jimple.spark.pag.VarNode
public abstract class VarNode
Represents a simple variable node (Green) in the pointer assignment graph.
Field Summary | |
---|---|
protected Map |
fields
|
protected int |
finishingNumber
|
protected boolean |
interProcSource
|
protected boolean |
interProcTarget
|
protected int |
numDerefs
|
protected Object |
variable
|
Fields inherited from class soot.jimple.spark.pag.Node |
---|
p2set, pag, replacement, type |
Method Summary | |
---|---|
int |
compareTo(Object o)
|
Context |
context()
|
FieldRefNode |
dot(SparkField field)
Returns the field ref node having this node as its base, and field as its field; null if nonexistent. |
Collection<FieldRefNode> |
getAllFieldRefs()
Returns all field ref nodes having this node as their base. |
Object |
getVariable()
Returns the underlying variable that this node represents. |
boolean |
isInterProcSource()
Returns true if this node is the potential source of a interprocedural assignment edge which may be added during on-the-fly call graph updating. |
boolean |
isInterProcTarget()
Returns true if this node is the potential target of a interprocedural assignment edge which may be added during on-the-fly call graph updating. |
void |
setFinishingNumber(int i)
|
void |
setInterProcSource()
Designates this node as the potential source of a interprocedural assignment edge which may be added during on-the-fly call graph updating. |
void |
setInterProcTarget()
Designates this node as the potential target of a interprocedural assignment edge which may be added during on-the-fly call graph updating. |
Methods inherited from class soot.jimple.spark.pag.Node |
---|
discardP2Set, equals, getNumber, getP2Set, getPag, getReplacement, getType, hashCode, makeP2Set, mergeWith, setNumber, setP2Set, setType |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected Object variable
protected Map fields
protected int finishingNumber
protected boolean interProcTarget
protected boolean interProcSource
protected int numDerefs
Method Detail |
---|
public Context context()
public Collection<FieldRefNode> getAllFieldRefs()
public FieldRefNode dot(SparkField field)
public int compareTo(Object o)
compareTo
in interface Comparable
public void setFinishingNumber(int i)
public Object getVariable()
public void setInterProcTarget()
public boolean isInterProcTarget()
public void setInterProcSource()
public boolean isInterProcSource()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |