public void prettyPrint(PrettyPrinter prepri) { if (this.isPublic()) { prepri.print("public "); } if (this.isStatic()) { prepri.print("static "); } prepri.print(this.name + "("); boolean first = true; for (MJVariable v : this.parameters) { if (!first) { prepri.print(", "); } else { first = false; } v.prettyPrint(prepri); } prepri.println(")"); body.prettyPrint(prepri); prepri.println(""); }