Java Derivation.prettyPrint示例

示例#1

文件： Counterexample.java 项目： Gela/project.maybe.polyglot

 /** @return The sequence of symbols at the leaves of the second derivation tree. */
 public String prettyExample2() {
   return d2.prettyPrint();
 }

示例#2

文件： Counterexample.java 项目： Gela/project.maybe.polyglot

 /** @return The sequence of symbols at the leaves of the first derivation tree. */
 public String prettyExample1() {
   return d1.prettyPrint();
 }