- public Object _leftbrace_(String s) { return SELF; }
- public Object _plus_(final Element r) { return Repeat.many1(r); }
+ public Object _leftbrace_(PreSequence p) {
+ return nonTerminal("braced"+(anon++),
+ new PreSequence[][] {
+ new PreSequence[] {
+ new PreSequence(CharToken.leftBrace),
+ p,
+ new PreSequence(CharToken.rightBrace)
+ }
+ },
+ false,
+ false);
+ }