PointsToSet (Soot - a J*va Optimization Framework 4.6.0 API)

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

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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.
`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.