- add(new Sequence.RewritingSequence(null, new Element[] { e }, null, null));
- if (this.separator==null) {
- add(new Sequence.Unwrap(new Element[] { e, Repeat.this }, null, null));
- } else {
- add(new Sequence.Unwrap(new Element[] { e, this.separator, Repeat.this }, new boolean[] { false, true, false }, null, null));
- }
- }
- }
-
- static class MaximalSequence extends Sequence.Singleton {
- private final Element e;
- public String toString() { return e+"@";}
- public MaximalSequence(Element e) { super(e, null, null); this.e = e; }
- }
- static class Maximal extends Union {
- public Maximal(final Element e) {
- super(e+"+", true);
- add(new MaximalSequence(e));
+ add(new Sequence.RewritingSequence(null, new Element[] { e }));
+ if (separator==null)
+ add(new Sequence.Unwrap(new Element[] { e, Repeat.this }));
+ else
+ add(new Sequence.Unwrap(new Element[] { e, separator, Repeat.this }, new boolean[] { false, true, false }));