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.


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.
 java.util.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.
 java.util.Set possibleStringConstants()
          If this points-to set consists entirely of string constants, returns a set of these constant strings.
 java.util.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 java.util.Set possibleTypes()
Set of all possible run-time types of objects in the set.

possibleStringConstants

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