|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.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 Comparablepublic 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 | |||||||||