soot.jimple.toolkits.infoflow

Class CachedEquivalentValue

java.lang.Object

soot.EquivalentValue

soot.jimple.toolkits.infoflow.CachedEquivalentValue

All Implemented Interfaces:

java.io.Serializable, EquivTo, Switchable, Value

public class CachedEquivalentValue
extends EquivalentValue

An EquivalentValue with cached hash code and equals-relation.

Author:

Eric Bodden

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected int	code
protected java.util.WeakHashMap<Value,java.lang.Boolean>	isEquivalent

Constructor Summary

Constructors

Constructor and Description
CachedEquivalentValue(Value e)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class soot.EquivalentValue

apply, clone, equalsToValue, equivHashCode, equivTo, equivToValue, getDeepestValue, getType, getUseBoxes, getValue, toString, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

code

protected int code

isEquivalent

protected java.util.WeakHashMap<Value,java.lang.Boolean> isEquivalent

Constructor Detail

CachedEquivalentValue

public CachedEquivalentValue(Value e)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class EquivalentValue

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class EquivalentValue