Package 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
-
-
Constructor Summary
Constructors Constructor Description MemoryEfficientRasUnion()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanaddAll(PointsToSet s)Adds all objects in s into this union of sets, returning true if this union was changed.Objectclone()booleanequals(Object obj)inthashCode()booleanhasNonEmptyIntersection(PointsToSet other)Returns true if this set shares some objects with other.booleanisEmpty()Returns true if this set contains no run-time objects.Set<Type>possibleTypes()Set of all possible run-time types of objects in the set.StringtoString()-
Methods inherited from class soot.jimple.toolkits.pointer.Union
hasNonEmptyIntersection, possibleClassConstants, possibleStringConstants
-
-
-
-
Method Detail
-
isEmpty
public boolean isEmpty()
Description copied from interface:PointsToSetReturns true if this set contains no run-time objects.
-
hasNonEmptyIntersection
public boolean hasNonEmptyIntersection(PointsToSet other)
Description copied from interface:PointsToSetReturns true if this set shares some objects with other.
-
addAll
public boolean addAll(PointsToSet s)
Description copied from class:UnionAdds all objects in s into this union of sets, returning true if this union was changed.
-
possibleTypes
public Set<Type> possibleTypes()
Description copied from interface:PointsToSetSet of all possible run-time types of objects in the set.
-
-