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 _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 _question_(final Element r) { return Repeat.maybe(r); }
public MetaGrammar gram(Object o, MetaGrammar g, Object o2) { return g; }
s ::= w* Grammar w* => "gram"
-ws !::= w*
+ws !::= w**
grammar ::= R+/ws => "grammar"
Grammar ::= R+ => "grammar"
R ::= word ^"::=" Alternatives
sequence ::= Es ^"/" E /ws
> Es
-es ::= E+/ws
+Es ::= E+
Conjuncts ::= rewrite
| rewrite ^"&" sequence