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.

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<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.
Set<String>	possibleStringConstants() If this points-to set consists entirely of string constants, returns a set of these constant strings.
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

Set<Type> possibleTypes()

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

possibleStringConstants

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

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.