|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface EqualsSupportingPointsToSet
A points-to set supporting deep equals and hashCode operations.
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 |
---|
int pointsToSetHashCode()
boolean pointsToSetEquals(Object other)
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.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |