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

Methods

Modifier and Type	Method and Description
boolean	pointsToSetEquals(java.lang.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(java.lang.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.