-- Object


package java::lang


context Object::Object()
  pre : true
  post: true


context Object::equals(obj: Object): Boolean
  pre : true
  post: result = (self = obj)


endpackage