|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--soot.jimple.spark.sets.PointsToSetInternal
|
+--soot.jimple.spark.sets.EmptyPointsToSet
Implementation of an empty, immutable points-to set.
| Field Summary |
| Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal |
type |
| Method Summary | |
boolean |
add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
contains(Node n)
Returns true iff the set contains n. |
boolean |
forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set. |
boolean |
hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other. |
boolean |
isEmpty()
Returns true if this set contains no run-time objects. |
java.util.Set |
possibleTypes()
Set of all possible run-time types of objects in the set. |
static EmptyPointsToSet |
v()
|
| Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal |
flushNew, getNewSet, getOldSet, getType, mergeWith, setType, size, unFlushNew |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public static EmptyPointsToSet v()
public boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSet other)
hasNonEmptyIntersection in interface PointsToSethasNonEmptyIntersection in class PointsToSetInternalpublic java.util.Set possibleTypes()
possibleTypes in interface PointsToSetpossibleTypes in class PointsToSetInternal
public boolean addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
addAll in class PointsToSetInternalpublic boolean forall(P2SetVisitor v)
forall in class PointsToSetInternalpublic boolean add(Node n)
add in class PointsToSetInternalpublic boolean contains(Node n)
contains in class PointsToSetInternal
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||