public PreSequence _amp_(PreSequence p, Object[] o) { return p.and(new PreSequence(o, null, true).buildSequence(null, true, false)); }
public PreSequence _amp__tilde_(PreSequence p, Object[] o) { return p.not(new PreSequence(o, null, true).buildSequence(null, true, false)); }
- public PreSequence rewrite(Object[] o) { return new PreSequence(o, null); }
- public PreSequence _equals__greater_(Object[] o, String s) { return new PreSequence(o, s); }
public Object _star_(Element r) { return Repeat.many0(r); }
public Element epsilon(Object o, Object b) { return epsilon; }
public Element _rightparen_(Object e) { return SELF; }
public Object _leftbrace_(String s) { return SELF; }
public Object _plus_(final Element r) { return Repeat.many1(r); }
+ public PreSequence rewrite(Object[] o) { return new PreSequence(o, null); }
+ public PreSequence _equals__greater_(Object[] o, String s) { return new PreSequence(o, s); }
public Object[] seq(Object[] o) { return o; }
public Object[] _slash_(Object[] o, Object sep) {
if (o.length <= 1) return o;
| rewrite ^"&" e*/ws /ws
| rewrite ^"&~" e*/ws /ws
-rewrite ::= sequence /ws => "rewrite"
- | sequence ^"=>" word /ws
- | sequence ^"=>" quoted /ws
+rewrite ::= sequence /ws => "rewrite"
+ | sequence ^"=>" (word|quoted) /ws
ec ::= [~\-\]\\\~]
| escaped