soot.jimple.spark
Interface PointsToSet

All Known Implementing Classes:
PointsToSetInternal

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 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.