public Object care(String s) { return new MyLift(s); }
public Object _caret_(String s) { return new MyLift(s); }
public Object _leftparen__rightparen_() { return epsilon; }
- //public Element _backtick_(Element r) { return new Unwrap(r); }
- //public Element _hash_(Element e) { return e; }
- //public Element _hash_(Element e) { return _plus__plus_(e); }
-
public PreSequence[] alternatives(PreSequence[] s) { return s; }
public Object _leftparen_(PreSequence[][] p) { return nonTerminalZ(p); }
public MetaGrammar grammar(Object o, Union[] u, Object x) { return this; }
public char _backslash_n() { return '\n'; }
public char _backslash_r() { return '\r'; }
- public Object literal(String s) { return new MyDrop(CharToken.string(s)); }
+ public Object literal(String s) { return new MyDrop(CharToken.string(s)); }
public Range _minus_(char a, char b) { return new Range(a, b); }
public Element _leftbracket_ (Range[] rr) { return ranges(null, rr); }
public Element _leftbracket__tilde_(Range[] rr) { return ranges("~", rr); }
| word ^"!::=" alternatives /ws
alternatives ::= equiAlt +/ (ws ">" ws)
-equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives"
+equiAlt ::= conjuncts +/ (ws "|" ws)
sequence ::= es
> es ws ^"/" e