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);
+ }
//public Element _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); }
//public Element _star__star_(final Element r, Element s) { return Repeat.maximal(Repeat.many0(r, s)); }
public Object _plus__plus_(final Element r) { return new Rep(r, null, true, false); }
-ts ::= ws Ts ws => ts
-Ts ::= test*
+ts ::= ws test*/ws ws => ts
ws !::= w*
test ::= ^"testcase" "{" input output+/ws Grammar "}" /ws
| ^"testcase" "{" input Grammar "}" /ws