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     return "o";
  21   }
  22
  23 }