public String details() { return "DotMethodCallExp(" + "methodName=" + Syntax.detailsome(this.methodName) + " " + "subpat=" + Syntax.detailsome(this.subpat) + ")"; }
public String details() { return "ClsPatDef(" + "id=" + Syntax.detailsome(this.id) + " " + "formals=" + "[" + Syntax.sepDetails(this.formals, ",") + "]" + " " + "body=" + Syntax.detailsome(this.body) + ")"; }