public static class Grammar extends MetaGrammar {
private int anon = 0;
- private final Element ws = Repeat.maximal(Repeat.many0(nonTerminal("w")));
- public Grammar() {
- dropAll.add(ws);
- }
+ private final Element ws = Repeat.maximal0(nonTerminal("w"));
+ public Grammar() { dropAll.add(ws); }
public Object walk(Tree<String> tree) {
String head = tree.head();
if (tree.numChildren()==0) return super.walk(tree);