Check in the Object class file
authorbdemsky <bdemsky>
Wed, 5 Apr 2006 20:39:02 +0000 (20:39 +0000)
committerbdemsky <bdemsky>
Wed, 5 Apr 2006 20:39:02 +0000 (20:39 +0000)
Robust/src/ClassLibrary/Object.java [new file with mode: 0644]

diff --git a/Robust/src/ClassLibrary/Object.java b/Robust/src/ClassLibrary/Object.java
new file mode 100644 (file)
index 0000000..4573623
--- /dev/null
@@ -0,0 +1,9 @@
+public class Object {
+    public native int hashcode();
+
+    public boolean equals(Object o) {
+       if (o==this)
+           return true;
+       return false;
+    }
+}