|
|||||||||||
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. |
Object |
clone()
|
boolean |
equals(Object obj)
|
int |
hashCode()
|
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. |
Set |
possibleTypes()
Set of all possible run-time types of objects in the set. |
String |
toString()
|
Methods inherited from class soot.jimple.toolkits.pointer.Union |
hasNonEmptyIntersection, possibleClassConstants, possibleStringConstants |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, 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 Union
public Object clone()
public Set possibleTypes()
PointsToSet
public int hashCode()
public boolean equals(Object obj)
public String toString()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |