X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmeta%2FTaggingGrammarBindingResolver.java;h=003ae0a4937ca39781808e037bdd9bf3dbf83821;hb=0632bba5da482b2c39e6959e449259bd6725c213;hp=2a53616532e3de38bf9023c5ca45841377b85fc5;hpb=e64e99e8fd3b7a291639ee28a4a5ef3e75d6de4a;p=sbp.git

diff --git a/src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java b/src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java
index 2a53616..003ae0a 100644
--- a/src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java
+++ b/src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java
@@ -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, Object[] labels, boolean[] drops) {
-        if (tag==null) return null;
-        return Sequence.rewritingSequence(tag, els, labels, 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, Object[] labels, boolean[] drops) {
-        return Sequence.rewritingSequence(tag, els, labels, drops);
+    public Sequence resolveTag(Production p) {
+        return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
     }
 }