-
- 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 Element _bang_(Element r) { return r; }
- 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 _bang_(Element r) { return r; }
+ public Object _caret_(String s) { return new MyLift(s); }
+ public Object _leftparen__rightparen_() { return epsilon; }