Robust/src/ClassLibrary/SSJava/Object.java

   1 @LATTICE("")
   2 @METHODDEFAULT("THIS<IN,THISLOC=IN")
   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(@LOC("IN") Object o) {
  12     if (o==this)
  13       return true;
  14     return false;
  15   }
  16 }