import java.io.*;
// FIXME: non-static methods
-public class AnnotationGrammarBindingResolver extends GrammarBindingResolver {
+public class AnnotationGrammarBindingResolver extends Grammar.Bindings {
private static boolean harsh = true;
}
- public Sequence resolveTag(Production p) {
- Sequence ret = tryResolveTag(p);
- if (ret != null) return ret;
- String message = "could not find a Java method/class/ctor matching tag \""+p.tag+
- "\", nonterminal \""+"???"+"\" with " + p.elements.length + " arguments";
- if (harsh) {
- throw new RuntimeException(message);
- } else {
- return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
- }
- }
// helper