Robust/src/ClassLibrary/ObjectJava.java

   1 public class Object {
   2     public native int hashCode();
   3     private Object nextlockobject;
   4     private Object prevlockobject;
   5
   6
   7     /* DON'T USE THIS METHOD UNLESS NECESSARY */
   8     /* WE WILL DEPRECATE IT AS SOON AS INSTANCEOF WORKS */
   9     public native int getType();
  10
  11     public native int MonitorEnter();
  12     public native int MonitorExit();
  13
  14     public String toString() {
  15         return String.valueOf(this);
  16     }
  17
  18     public boolean equals(Object o) {
  19         if (o==this)
  20             return true;
  21         return false;
  22     }
  23 }