soot.jimple.toolkits.pointer
Class FullObjectSet
java.lang.Object
|
+--soot.jimple.toolkits.pointer.Union
|
+--soot.jimple.toolkits.pointer.FullObjectSet
- public class FullObjectSet
- extends Union
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
FullObjectSet
public FullObjectSet(Singletons.Global g)
v
public static FullObjectSet v()
v
public static FullObjectSet v(RefType t)
type
public AnySubType type()
isEmpty
public boolean isEmpty()
- Returns true if this set contains no run-time objects.
hasNonEmptyIntersection
public boolean hasNonEmptyIntersection(PointsToSet other)
- Returns true if this set is a subset of other.
possibleTypes
public java.util.Set possibleTypes()
- Set of all possible run-time types of objects in the set.
addAll
public boolean addAll(PointsToSet s)
- Adds all objects in s into this union of sets, returning true if this
union was changed.
- Overrides:
- addAll in class Union
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.
- Overrides:
- possibleStringConstants in class Union
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.
- Overrides:
- possibleClassConstants in class Union