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, toStringprotected int code
protected java.util.WeakHashMap<Value,java.lang.Boolean> isEquivalent
public CachedEquivalentValue(Value e)
public int hashCode()
hashCode in class EquivalentValuepublic boolean equals(java.lang.Object o)
equals in class EquivalentValue