EquivalentValue: add back getDeepestValue(), add deprecated tag.

Rroscha · Dec 16, 2013 · f681fb6 · f681fb6
1 parent eda0385
commit f681fb6
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/soot/EquivalentValue.java b/src/soot/EquivalentValue.java
@@ -62,6 +62,14 @@ public boolean equivToValue(Value v) {
     public boolean equalsToValue(Value v) {
       return e.equals(v);
     }
+
+    /**
+     * @deprecated
+     * @see #getValue()
+     **/
+    public Value getDeepestValue() {
+    	return getValue();
+    }
 
     public int hashCode() { return e.equivHashCode(); }
     public String toString() { return e.toString(); }