public class CachedEquivalentValue extends EquivalentValue
EquivalentValue
with cached hash code and equals-relation.Modifier and Type | Field and Description |
---|---|
protected int |
code |
protected java.util.WeakHashMap<Value,java.lang.Boolean> |
isEquivalent |
Constructor and Description |
---|
CachedEquivalentValue(Value e) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
apply, clone, equalsToValue, equivHashCode, equivTo, equivToValue, getDeepestValue, getType, getUseBoxes, getValue, toString, toString
protected int code
protected java.util.WeakHashMap<Value,java.lang.Boolean> isEquivalent
public CachedEquivalentValue(Value e)
public int hashCode()
hashCode
in class EquivalentValue
public boolean equals(java.lang.Object o)
equals
in class EquivalentValue