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++),
+ if ("{".equals(head)) {
+ String s = "braced"+(anon++);
+ Union u = nonTerminal(s);
+ Union u2 = ((PreSequence)walk(tree, 0)).sparse(ws).buildUnion();
+ u2.add(Sequence.singleton(new Element[] { u }, 0, null, null));
+ return nonTerminal(s,
new PreSequence[][] {
new PreSequence[] {
new PreSequence(new Element[] { CharToken.leftBrace,
ws,
- ((PreSequence)walk(tree, 0)).sparse(ws).buildUnion(),
+ u2,
ws,
CharToken.rightBrace
})
},
false,
false);
+ }
return super.walk(tree);
}
}