|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | 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.
Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal |
type |
Constructor Summary | |
EmptyPointsToSet(Singletons.Global g)
|
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 |
possibleClassConstants()
If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of strings that are the names of these classes. |
java.util.Set |
possibleStringConstants()
If this points-to set consists entirely of string constants, returns a set of these constant strings. |
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,
toString,
unFlushNew |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Constructor Detail |
public EmptyPointsToSet(Singletons.Global g)
Method Detail |
public static EmptyPointsToSet v()
public boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSet other)
public java.util.Set possibleTypes()
public boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
public boolean forall(P2SetVisitor v)
public boolean add(Node n)
public boolean contains(Node n)
public java.util.Set possibleStringConstants()
public java.util.Set possibleClassConstants()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |