# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1407514324 -7200
# Node ID 55c59139cc57c6095eed6faeeb80d67e3058075a
# Parent  7d7fae9e9d1716afe9aef4f3d7df32c54e97c126
Add identityEquals to Value.

diff -r 7d7fae9e9d17 -r 55c59139cc57 graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/Value.java
--- a/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/Value.java	Sat Aug 09 08:51:01 2014 -0700
+++ b/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/Value.java	Fri Aug 08 18:12:04 2014 +0200
@@ -96,4 +96,14 @@
         }
         return false;
     }
+
+    /**
+     * Checks if this value is identical to {@code other}.
+     *
+     * Warning: Use with caution! Usually equivalence {@link #equals(Object)} is sufficient and
+     * should be used.
+     */
+    public final boolean identityEquals(Value other) {
+        return this == other;
+    }
 }