soot.jimple.toolkits.pointer
Class Union
java.lang.Object
|
+--soot.jimple.toolkits.pointer.Union
- Direct Known Subclasses:
- FullObjectSet, MemoryEfficientRasUnion
- public abstract class Union
- extends java.lang.Object
- implements PointsToSet
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 |
Union
public Union()
addAll
public abstract boolean addAll(PointsToSet s)
- Adds all objects in s into this union of sets, returning true if this
union was changed.
hasNonEmptyIntersection
public static boolean hasNonEmptyIntersection(PointsToSet s1,
PointsToSet s2)
possibleStringConstants
public java.util.Set possibleStringConstants()
- Description copied from interface: PointsToSet
- If this points-to set consists entirely of string constants,
returns a set of these constant strings.
If this point-to set may contain something other than constant
strings, returns null.
- Specified by:
- possibleStringConstants in interface PointsToSet
possibleClassConstants
public java.util.Set possibleClassConstants()
- Description copied from interface: PointsToSet
- 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.
If this point-to set may contain something else, returns null.
- Specified by:
- possibleClassConstants in interface PointsToSet