|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.jimple.toolkits.pointer.Union
soot.jimple.toolkits.pointer.MemoryEfficientRasUnion
| Constructor Summary | |
MemoryEfficientRasUnion()
|
|
| Method Summary | |
boolean |
addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this union was changed. |
java.lang.Object |
clone()
|
boolean |
hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other. |
boolean |
isEmpty()
Returns true if this set contains no run-time objects. |
java.util.Set |
possibleTypes()
Set of all possible run-time types of objects in the set. |
| Methods inherited from class soot.jimple.toolkits.pointer.Union |
hasNonEmptyIntersection, possibleClassConstants, possibleStringConstants |
| Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public MemoryEfficientRasUnion()
| Method Detail |
public boolean isEmpty()
PointsToSet
public boolean hasNonEmptyIntersection(PointsToSet other)
PointsToSet
public boolean addAll(PointsToSet s)
Union
addAll in class Unionpublic java.lang.Object clone()
public java.util.Set possibleTypes()
PointsToSet
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||