- public Object _plus__slash_(final Element r, Element s) { /*return Repeat.many1(r, s);*/ return new Rep(r, s, false, false); }
+ public Object _plus__slash_(final Element r, Object s) {
+ if (s instanceof String) s = CharToken.string((String)s);
+ return new Rep(r, (Element)s, false, false);
+ }
+ public Object _star__slash_(final Element r, Object s) {
+ if (s instanceof String) s = CharToken.string((String)s);
+ return new Rep(r, (Element)s, false, true);
+ }