import java.lang.reflect.*;
import java.io.*;
-public class TaggingGrammarBindingResolver extends GrammarBindingResolver {
+public class TaggingGrammarBindingResolver extends Grammar.Bindings {
public Object repeatTag() { return null; }
public Sequence tryResolveTag(Production p) {
if (p.tag==null) return null;
return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
}
- public Sequence resolveTag(Production p) {
- return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
- }
}