Esempio n. 1
0
 /** Private helper for the yield method. */
 private void yieldAppl(ATermAppl appl, StringBuilder builder) {
   for (ATerm t : (ATermList) appl.getArgument(APPL_ARGS)) {
     if (t instanceof ATermAppl) {
       ATermAppl arg = (ATermAppl) t;
       if (arg.getAFun() == applFun) {
         yieldAppl(arg, builder);
       } else {
         throw new IllegalArgumentException("Don't know how to yield " + arg);
       }
     } else if (t instanceof ATermInt) {
       ATermInt arg = (ATermInt) t;
       builder.append((char) arg.getInt());
     } else {
       throw new IllegalArgumentException("Don't know how to yield " + t);
     }
   }
 }
Esempio n. 2
0
 /**
  * Yields a parse tree (parsetree or appl) to a String.
  *
  * @author Martin Bravenboer
  */
 public String yield(ATerm parsetree) {
   StringBuilder builder = new StringBuilder();
   yield(parsetree, builder);
   return builder.toString();
 }