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

All Superinterfaces:

PointsToSet

All Known Implementing Classes:

AllocAndContextSet, BitPointsToSet, DoublePointsToSet, EmptyPointsToSet, HashPointsToSet, HybridPointsToSet, LazyContextSensitivePointsToSet, PointsToSetInternal, SharedHybridSet, SharedListSet, SortedArraySet, WrappedPointsToSet
```
public interface EqualsSupportingPointsToSet
extends PointsToSet
```
A points-to set supporting deep equals and hashCode operations.

Author:

Eric Bodden

See Also:

PointsToSetEqualsWrapper

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`pointsToSetEquals(Object other)`	Returns `true` if and only if other holds the same alloc nodes as this.
`int`	`pointsToSetHashCode()`	Computes a hash code based on the contents of the points-to set.

Methods inherited from interface soot.PointsToSet
hasNonEmptyIntersection, isEmpty, possibleClassConstants, possibleStringConstants, possibleTypes

- Method Detail
  - pointsToSetHashCode
```
int pointsToSetHashCode()
```
    Computes a hash code based on the contents of the points-to set. Note that hashCode() is not overwritten on purpose. This is because Spark relies on comparison by object identity.
  - pointsToSetEquals
```
boolean pointsToSetEquals(Object other)
```
    Returns true if and only if other holds the same alloc nodes as this. Note that equals() is not overwritten on purpose. This is because Spark relies on comparison by object identity.