|
||||||||||
| 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 PointsToSetpublic 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 | |||||||||