- } else if ("{".equals(head))
- return nonTerminal("braced"+(anon++),
- new PreSequence[][] {
- new PreSequence[] {
- new PreSequence(new Element[] { leftBrace(),
- ((PreSequence)walk(tree, 0)).buildUnion(),
- rightBrace()
- })
- }
- },
- false,
- false);
- else if ("[".equals(head) || "[~".equals(head)) {