Robust/src/ClassLibrary/FastCheck/Object.java

   1 public class Object {
   2   public Object nextobject;   /* Oid */
   3   public Object localcopy;
   4
   5   /* DO NOT USE ANY OF THESE - THEY ARE FOR IMPLEMENTING TAGS */
   6   private Object tags;
   7
   8
   9   public native int hashCode();
  10
  11   /* DON'T USE THIS METHOD UNLESS NECESSARY */
  12   /* WE WILL DEPRECATE IT AS SOON AS INSTANCEOF WORKS */
  13   public native int getType();
  14
  15   public String toString() {
  16     return "Object"+hashCode();
  17   }
  18
  19   public boolean equals(Object o) {
  20     if (o==this)
  21       return true;
  22     return false;
  23   }
  24 }