soot
Interface PointsToSet

All Known Implementing Classes:
PointsToSetInternal, Union

public interface PointsToSet

A generic interface to some set of runtime objects computed by a pointer analysis.

Author:
Ondrej Lhotak

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

isEmpty

public boolean isEmpty()
Returns true if this set contains no run-time objects.


hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.


possibleTypes

public Set possibleTypes()
Set of all possible run-time types of objects in the set.


possibleStringConstants

public Set possibleStringConstants()
If this points-to set consists entirely of string constants, returns a set of these constant strings. If this point-to set may contain something other than constant strings, returns null.


possibleClassConstants

public 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. If this point-to set may contain something else, returns null.