- public Object _plus__slash_(final Element r, Object s) { return rep(r, (Element)s, false, false); }
- public Object _star__slash_(final Element r, Object s) { return rep(r, (Element)s, false, true); }
- public Object _star__star_(final Element r) { return rep(r, null, true, true); }
- public Object _plus__plus_(final Element r) { return rep(r, null, true, false); }
+
+ public Object _plus__slash_(final Element r, Element s) { return Repeat.many1(r, s); }
+ public Object _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); }
+ public Object _star__star_(final Element r) { return Repeat.maximal(Repeat.many0(r)); }
+ public Object _plus__plus_(final Element r) { return Repeat.maximal(Repeat.many1(r)); }