Esempi in Java per PrettyPrinter

Esempio n. 1

File: Store.java Progetto: Newky/3rdYear

 /** Pretty-printing */
 public void pretty(PrettyPrinter pp) {
   pp.print("STORE " + x);
 }

Esempio n. 2

File: Store.java Progetto: Newky/3rdYear

 /** Unparsing */
 public String toString() {
   return PrettyPrinter.render(this);
 }

Esempio n. 3

File: Sub.java Progetto: Newky/3rdYear

 /** Pretty-printing */
 public void pretty(PrettyPrinter pp) {
   pp.binOp(a1, "-", a2);
 }