Robust/src/ClassLibrary/ObjectJava.java

   1 public class Object {
   2   public int cachedCode;   //first field has to be a primitive
   3   public boolean cachedHash;
   4
   5   public native int nativehashCode();
   6   private Object nextlockobject;
   7   private Object prevlockobject;
   8
   9   public int hashCode() {
  10     if (!cachedHash) {
  11       cachedCode=nativehashCode();
  12       cachedHash=true;
  13     }
  14     return cachedCode;
  15   }
  16
  17   /* DON'T USE THIS METHOD UNLESS NECESSARY */
  18   /* WE WILL DEPRECATE IT AS SOON AS INSTANCEOF WORKS */
  19   public native int getType();
  20
  21   public native int MonitorEnter();
  22   public native int MonitorExit();
  23
  24   public String toString() {
  25     return "Object"+hashCode();
  26   }
  27
  28   public boolean equals(Object o) {
  29     if (o==this)
  30       return true;
  31     return false;
  32   }
  33 }