Robust/src/ClassLibrary/SSJavaInfer/Object.java

   1 import String;
   2
   3 public class Object {
   4
   5   public native int hashCode();
   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 boolean equals(Object o) {
  12     if (o == this)
  13       return true;
  14     return false;
  15   }
  16
  17   @TRUST
  18   public String toString() {
  19     return "Object" + hashCode();
  20   }
  21
  22 }