|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--soot.EquivalentValue
Encapsulates the Value class, but uses EquivTo for equality comparisons. Also uses equivHashCode as its hash code.
| Constructor Summary | |
EquivalentValue(Value e)
|
|
| Method Summary | |
void |
apply(Switch sw)
Called when this object is visited. |
java.lang.Object |
clone()
Returns a clone of this Value. |
boolean |
equals(java.lang.Object o)
|
boolean |
equalsToValue(Value v)
compares the encapsulated value with v, using
equals |
int |
equivHashCode()
Returns a (not necessarily fixed) hash code for this object. |
boolean |
equivTo(java.lang.Object o)
Returns true if this object is equivalent to o. |
boolean |
equivToValue(Value v)
compares the encapsulated value with v, using
equivTo |
Value |
getDeepestValue()
returns the deepest Value stored in this. |
Type |
getType()
Returns the Soot type of this Value. |
java.util.List |
getUseBoxes()
Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value. |
Value |
getValue()
|
int |
hashCode()
|
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public EquivalentValue(Value e)
| Method Detail |
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic boolean equivToValue(Value v)
v, using
equivTo
public boolean equalsToValue(Value v)
v, using
equals
public Value getDeepestValue()
this. If the
immediate stored value is an EquivalentValue its deepest value is
returned.
public int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic Value getValue()
public java.util.List getUseBoxes()
Value
getUseBoxes in interface Valuepublic Type getType()
Value
getType in interface Valuepublic java.lang.Object clone()
Value
clone in interface Valueclone in class java.lang.Objectpublic boolean equivTo(java.lang.Object o)
EquivTo
equivTo in interface EquivTopublic int equivHashCode()
EquivTo
equivHashCode in interface EquivTopublic void apply(Switch sw)
Switchable
apply in interface Switchable
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||