|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.toolkits.pointer.Union
A generic interface to some set of runtime objects computed by a pointer analysis.
Constructor Summary | |
Union()
|
Method Summary | |
abstract boolean |
addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this union was changed. |
static boolean |
hasNonEmptyIntersection(PointsToSet s1,
PointsToSet s2)
|
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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface soot.PointsToSet |
hasNonEmptyIntersection, isEmpty, possibleTypes |
Constructor Detail |
public Union()
Method Detail |
public abstract boolean addAll(PointsToSet s)
public static boolean hasNonEmptyIntersection(PointsToSet s1, PointsToSet s2)
public java.util.Set possibleStringConstants()
PointsToSet
possibleStringConstants
in interface PointsToSet
public java.util.Set possibleClassConstants()
PointsToSet
possibleClassConstants
in interface PointsToSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |