|
||||||||||
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 PointsToSet
hasNonEmptyIntersection
in class PointsToSetInternal
public java.util.Set possibleTypes()
possibleTypes
in interface PointsToSet
possibleTypes
in class PointsToSetInternal
public boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
addAll
in class PointsToSetInternal
public boolean forall(P2SetVisitor v)
forall
in class PointsToSetInternal
public boolean add(Node n)
add
in class PointsToSetInternal
public boolean contains(Node n)
contains
in class PointsToSetInternal
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |