@Override public void toStringAsCode(ASTCodePrinter cp) { cp.append("new"); cp.appendNodeList("(", allocArgs, ", ", ")", " "); cp.append(newtype); cp.appendNodeList("(", args, ", ", ")", " "); }