checkpoint
[sbp.git] / src / edu / berkeley / sbp / meta / TaggingGrammarBindingResolver.java
index 6e13aaf..003ae0a 100644 (file)
@@ -11,11 +11,11 @@ import java.io.*;
 
 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);
     }
 }