/** * Essentially this.toString().equals(o.toString()). **/ @Override public boolean equals(Object o) { if (o != null && o instanceof AMethodTypeIR) { return toString().equals(o.toString()); } return false; }
public String toString() { return (_preCond!=null?_preCond.toString():this.getClass().getSimpleName())+ (_postCond!=null?_postCond.toString():this.getClass().getSimpleName())+ (_access!=null?_access.toString():this.getClass().getSimpleName())+ (_abstract!=null?_abstract.toString():this.getClass().getSimpleName())+ (_methodType!=null?_methodType.toString():this.getClass().getSimpleName())+ (_name!=null?_name.toString():this.getClass().getSimpleName())+ (_formalParams!=null?_formalParams.toString():this.getClass().getSimpleName())+ (_templateTypes!=null?_templateTypes.toString():this.getClass().getSimpleName())+ (_implicit!=null?_implicit.toString():this.getClass().getSimpleName())+ (_raises!=null?_raises.toString():this.getClass().getSimpleName())+ (_body!=null?_body.toString():this.getClass().getSimpleName()); }