if (s instanceof String) s = CharToken.string((String)s);
return new Rep(r, (Element)s, false, true);
}
if (s instanceof String) s = CharToken.string((String)s);
return new Rep(r, (Element)s, false, true);
}
+ public Object _percent__percent_(final Element r, Object s) {
+ if (s instanceof String) s = CharToken.string((String)s);
+ return new Rep(r, (Element)s, false, true);
+ }
//public Element _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); }
public Object _star__star_(final Element r) { return new Rep(r, null, true, true); }
public Object _plus__plus_(final Element r) { return new Rep(r, null, true, false); }
//public Element _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); }
public Object _star__star_(final Element r) { return new Rep(r, null, true, true); }
public Object _plus__plus_(final Element r) { return new Rep(r, null, true, false); }