예제 #1
0
파일: Store.java 프로젝트: Newky/3rdYear 
 /** Pretty-printing */
 public void pretty(PrettyPrinter pp) {
   pp.print("STORE " + x);
 }
예제 #2
0
파일: Store.java 프로젝트: Newky/3rdYear 
 /** Unparsing */
 public String toString() {
   return PrettyPrinter.render(this);
 }
예제 #3
0
파일: Sub.java 프로젝트: Newky/3rdYear 
 /** Pretty-printing */
 public void pretty(PrettyPrinter pp) {
   pp.binOp(a1, "-", a2);
 }