|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A generic interface to some set of runtime objects computed by a pointer analysis.
Method Summary | |
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 |
possibleClassConstants()
If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of ClassConstant's that are 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. |
Method Detail |
public boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSet other)
public Set possibleTypes()
public Set possibleStringConstants()
public Set possibleClassConstants()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |