public class TaggingGrammarBindingResolver extends GrammarBindingResolver {
public Object repeatTag() { return null; }
- public Sequence tryResolveTag(String tag, String nonTerminalName, Element[] els, boolean[] drops) {
- if (tag==null) return null;
- return Sequence.rewritingSequence(tag, els, drops);
+ public Sequence tryResolveTag(Production p) {
+ if (p.tag==null) return null;
+ return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
}
- public Sequence resolveTag(String tag, String nonTerminalName, Element[] els, boolean[] drops) {
- return Sequence.rewritingSequence(tag, els, drops);
+ public Sequence resolveTag(Production p) {
+ return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
}
}