|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectsoot.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 |
| Constructor Summary | |
EmptyPointsToSet(soot.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. |
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. |
Set |
possibleStringConstants()
If this points-to set consists entirely of string constants, returns a set of these constant strings. |
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(soot.Singletons.Global g)
| Method Detail |
public static EmptyPointsToSet v()
public boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSet other)
hasNonEmptyIntersection in interface PointsToSethasNonEmptyIntersection in class PointsToSetInternalpublic 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 PointsToSetInternalpublic Set possibleStringConstants()
PointsToSet
possibleStringConstants in interface PointsToSetpossibleStringConstants in class PointsToSetInternalpublic Set possibleClassConstants()
PointsToSet
possibleClassConstants in interface PointsToSetpossibleClassConstants in class PointsToSetInternal
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||