|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.jimple.toolkits.pointer.Union soot.jimple.toolkits.pointer.MemoryEfficientRasUnion
public class 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()
clone
in class Object
public Set possibleTypes()
PointsToSet
public int hashCode()
hashCode
in class Object
public boolean equals(Object obj)
equals
in class Object
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |