Robust/src/ClassLibrary/ObjectJava.java

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