X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmeta%2FTaggingGrammarBindingResolver.java;h=003ae0a4937ca39781808e037bdd9bf3dbf83821;hb=34202c7836b0f48a034f38e4477623d512d0b2d5;hp=6e13aaf4f607b2ceedfa2254d81a3249f6132b4d;hpb=a7ba8d8a5f0cb7fbb5bf67f1a95f1cad5226c507;p=sbp.git

diff --git a/src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java b/src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java
index 6e13aaf..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, 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);
     }
 }