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); }
sequence ::= Es
> Es ^"/" e /ws
Es ::= e+
-es ::= e+/ws
+//es ::= e+/ws
+
conjuncts ::= rewrite
| rewrite ^"&" sequence /ws
| ^"{" alternatives "}" /ws
| "[" [\~]? range* "]" => "range"
| e ^"*/" e /ws
+ | e ^"%%" e /ws
| e ^"+/" e /ws
| e ^"?" /ws
| e ^"~/~" /ws
-ts ::= ws test*/ws ws => ts
+ts ::= ws tests ws => ts
+tests ::= test %% ws
ws !::= w*
test ::= ^"testcase" "{" input output+/ws grammar "}" /ws
| ^"testcase" "{" input grammar "}" /ws