soot.jimple.spark.sets
Interface EqualsSupportingPointsToSet

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