|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.spark.sets.BDDPointsToSet
Implementation of PointsToSet providing an interface to a BDD of AllocNodes.
Constructor Summary | |
BDDPointsToSet(Relation bdd)
|
Method Summary | |
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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public BDDPointsToSet(Relation bdd)
Method Detail |
public boolean isEmpty()
isEmpty
in interface PointsToSet
public boolean hasNonEmptyIntersection(PointsToSet other)
hasNonEmptyIntersection
in interface PointsToSet
public java.util.Set possibleTypes()
possibleTypes
in interface PointsToSet
public java.util.Set possibleStringConstants()
possibleStringConstants
in interface PointsToSet
public java.util.Set possibleClassConstants()
possibleClassConstants
in interface PointsToSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |