return ret.toString();
}
+ // Grammar //////////////////////////////////////////////////////////////////////////////
+
+ public static class Grammar extends MetaGrammar {
+ private int anon = 0;
+ private final Element ws = Repeat.maximal(Repeat.many0(nonTerminal("w")));
+ public Grammar() {
+ dropAll.add(ws);
+ }
+ public Object walk(Tree<String> tree) {
+ String head = tree.head();
+ if (tree.numChildren()==0) return super.walk(tree);
+ if ("{".equals(head))
+ return nonTerminal("braced"+(anon++),
+ new PreSequence[][] {
+ new PreSequence[] {
+ new PreSequence(new Element[] { CharToken.leftBrace,
+ ws,
+ ((PreSequence)walk(tree, 0)).sparse(ws).buildUnion(),
+ ws,
+ CharToken.rightBrace
+ })
+ }
+ },
+ false,
+ false);
+ return super.walk(tree);
+ }
+ }
+
}