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("");
}
public void prettyPrint(PrettyPrinter prepri) {
prepri.print("while (");
this.expr.prettyPrint(prepri);
prepri.print(")");
this.stat.prettyPrint(prepri);
}
public void prettyPrint(PrettyPrinter prepri) {
this.lhs.prettyPrint(prepri);
prepri.print(" * ");
this.rhs.prettyPrint(prepri);
}
public void prettyPrint(PrettyPrinter prepri) {
this.object.prettyPrint(prepri);
prepri.print(".");
this.field.prettyPrint(prepri);
}