soot

Interface PointsToSet

All Known Subinterfaces:

EqualsSupportingPointsToSet

All Known Implementing Classes:

AllocAndContextSet, BitPointsToSet, DoublePointsToSet, EmptyPointsToSet, FullObjectSet, HashPointsToSet, HybridPointsToSet, LazyContextSensitivePointsToSet, MemoryEfficientRasUnion, PointsToSetEqualsWrapper, PointsToSetInternal, SharedHybridSet, SharedListSet, SortedArraySet, Union, WrappedPointsToSet

public interface PointsToSet

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

Method Summary

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

Method Detail

isEmpty

boolean isEmpty()

Returns true if this set contains no run-time objects.

hasNonEmptyIntersection

boolean hasNonEmptyIntersection(PointsToSet other)

Returns true if this set shares some objects with other.

possibleTypes

java.util.Set<Type> possibleTypes()

Set of all possible run-time types of objects in the set.

possibleStringConstants

java.util.Set<java.lang.String> 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

java.util.Set<ClassConstant> 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.