DSM code

diff --git a/Robust/src/ClassLibrary/ObjectJavaDSM.java b/Robust/src/ClassLibrary/ObjectJavaDSM.java
new file mode 100644 (file)
index 0000000..ff66f17
--- /dev/null
+++ b/Robust/src/ClassLibrary/ObjectJavaDSM.java
@@ -0,0 +1,30 @@
+public class Object {
+    public int cachedCode; //first field has to be a primitive
+    public boolean cachedHash;
+    public Object nextobject; /* Oid */
+    public Object localcopy;
+
+    public native int nativehashCode();
+
+    public int hashCode() {
+       if (!cachedHash) {
+           cachedCode=nativehashCode();
+           cachedHash=true;
+       }
+       return cachedCode;
+    }
+
+    /* DON'T USE THIS METHOD UNLESS NECESSARY */
+    /* WE WILL DEPRECATE IT AS SOON AS INSTANCEOF WORKS */
+    public native int getType();
+
+    public String toString() {
+       return String.valueOf(this);
+    }
+
+    public boolean equals(Object o) {
+       if (o==this)
+           return true;
+       return false;
+    }
+}