| Package | Description |
|---|---|
| soot.jimple.spark.pag |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<SparkField,AllocDotField> |
AllocNode.fields |
protected java.util.Map<SparkField,AllocDotField> |
AllocNode.fields |
| Modifier and Type | Method and Description |
|---|---|
AllocDotField |
AllocNode.dot(SparkField field)
Returns the field ref node having this node as its base,
and field as its field; null if nonexistent.
|
AllocDotField |
AllocNode.dot(SparkField field)
Returns the field ref node having this node as its base,
and field as its field; null if nonexistent.
|
AllocDotField |
PAG.findAllocDotField(AllocNode an,
SparkField field)
Finds the AllocDotField for base AllocNode an and field
field, or returns null.
|
AllocDotField |
PAG.findAllocDotField(AllocNode an,
SparkField field)
Finds the AllocDotField for base AllocNode an and field
field, or returns null.
|
AllocDotField |
PAG.makeAllocDotField(AllocNode an,
SparkField field)
Finds or creates the AllocDotField for base variable baseValue and field
field, of type t.
|
AllocDotField |
PAG.makeAllocDotField(AllocNode an,
SparkField field)
Finds or creates the AllocDotField for base variable baseValue and field
field, of type t.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<AllocDotField> |
AllocNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
java.util.Collection<AllocDotField> |
AllocNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
ArrayNumberer<AllocDotField> |
PAG.getAllocDotFieldNodeNumberer() |
ArrayNumberer<AllocDotField> |
PAG.getAllocDotFieldNodeNumberer() |
java.util.Set<AllocDotField> |
AllocNode.getFields() |
java.util.Set<AllocDotField> |
AllocNode.getFields() |