|
|||||||||||
| 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.FullObjectSet
| Constructor Summary | |
FullObjectSet(soot.Singletons.Global g)
|
|
| Method Summary | |
boolean |
addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this union was changed. |
boolean |
hasNonEmptyIntersection(PointsToSet other)
Returns true if this set is a subset of other. |
boolean |
isEmpty()
Returns true if this set contains no run-time objects. |
Set |
possibleClassConstants()
If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of strings that are the names of these classes. |
Set |
possibleStringConstants()
If this points-to set consists entirely of string constants, returns a set of these constant strings. |
Set |
possibleTypes()
Set of all possible run-time types of objects in the set. |
AnySubType |
type()
|
static FullObjectSet |
v()
|
static FullObjectSet |
v(RefType t)
|
| Methods inherited from class soot.jimple.toolkits.pointer.Union |
hasNonEmptyIntersection |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public FullObjectSet(soot.Singletons.Global g)
| Method Detail |
public static FullObjectSet v()
public static FullObjectSet v(RefType t)
public AnySubType type()
public boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSet other)
public Set possibleTypes()
public boolean addAll(PointsToSet s)
addAll in class Unionpublic Set possibleStringConstants()
PointsToSet
possibleStringConstants in interface PointsToSetpossibleStringConstants in class Unionpublic Set possibleClassConstants()
PointsToSet
possibleClassConstants in interface PointsToSetpossibleClassConstants in class Union
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||