soot.jimple.toolkits.pointer
Class MemoryEfficientRasUnion
java.lang.Object
soot.jimple.toolkits.pointer.Union
soot.jimple.toolkits.pointer.MemoryEfficientRasUnion
- All Implemented Interfaces:
- PointsToSet
- public class MemoryEfficientRasUnion
- extends Union
MemoryEfficientRasUnion
public MemoryEfficientRasUnion()
isEmpty
public boolean isEmpty()
- Description copied from interface:
PointsToSet
- Returns true if this set contains no run-time objects.
hasNonEmptyIntersection
public boolean hasNonEmptyIntersection(PointsToSet other)
- Description copied from interface:
PointsToSet
- Returns true if this set shares some objects with other.
addAll
public boolean addAll(PointsToSet s)
- Description copied from class:
Union
- Adds all objects in s into this union of sets, returning true if this
union was changed.
- Specified by:
addAll
in class Union
clone
public Object clone()
possibleTypes
public Set possibleTypes()
- Description copied from interface:
PointsToSet
- Set of all possible run-time types of objects in the set.