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) + ")"; }
public String details() { return "PostExpArgs(" + "args=" + "[" + Syntax.sepDetails(this.args, ",") + "]" + ")"; }
public String details() { return "CmdsInAList(" + "cmds=" + "[" + Syntax.sepDetails(this.cmds, ",") + "]" + ")"; }