|
||||||||||
| 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
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 Unionpublic Object clone()
clone in class Objectpublic Set possibleTypes()
PointsToSet
public int hashCode()
hashCode in class Objectpublic boolean equals(Object obj)
equals in class Objectpublic String toString()
toString in class Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||