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);
new PreSequence[][] {
new PreSequence[] {
new PreSequence(new Element[] { CharToken.leftBrace,
- Repeat.maximal(Repeat.many0(nonTerminal("w"))),
- ((PreSequence)walk(tree, 0)).buildUnion(),
- Repeat.maximal(Repeat.many0(nonTerminal("w"))),
+ ws,
+ ((PreSequence)walk(tree, 0)).sparse(ws).buildUnion(),
+ ws,
CharToken.rightBrace
})
}