|
||||||||||
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
public class EmptyPointsToSet
Implementation of an empty, immutable points-to set.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class soot.jimple.spark.sets.PointsToSetInternal |
---|
PointsToSetInternal.P2SetVisitorDefaultTrue, PointsToSetInternal.P2SetVisitorInt |
Field Summary |
---|
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. |
Set |
possibleClassConstants()
If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of ClassConstant's that are 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. |
String |
toString()
|
static EmptyPointsToSet |
v()
|
Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal |
---|
flushNew, getBitMask, getNewSet, getOldSet, getType, mergeWith, pointsToSetEquals, pointsToSetHashCode, setType, size, 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)
hasNonEmptyIntersection
in interface PointsToSet
hasNonEmptyIntersection
in class PointsToSetInternal
public 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
public Set possibleStringConstants()
PointsToSet
possibleStringConstants
in interface PointsToSet
possibleStringConstants
in class PointsToSetInternal
public Set possibleClassConstants()
PointsToSet
possibleClassConstants
in interface PointsToSet
possibleClassConstants
in class PointsToSetInternal
public String toString()
toString
in class PointsToSetInternal
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |