src/edu/berkeley/sbp/meta/TaggingGrammarBindingResolver.java

   1 package edu.berkeley.sbp.meta;
   2 import edu.berkeley.sbp.util.*;
   3 import edu.berkeley.sbp.*;
   4 import edu.berkeley.sbp.chr.*;
   5 import edu.berkeley.sbp.misc.*;
   6 import edu.berkeley.sbp.bind.*;
   7 import java.util.*;
   8 import java.lang.annotation.*;
   9 import java.lang.reflect.*;
  10 import java.io.*;
  11
  12 public class TaggingGrammarBindingResolver extends GrammarBindingResolver {
  13     public Object repeatTag() { return null; }
  14     public Sequence tryResolveTag(Production p) {
  15         if (p.tag==null) return null;
  16         return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
  17     }
  18     public Sequence resolveTag(Production p) {
  19         return Sequence.rewritingSequence(p.tag, p.elements, p.drops);
  20     }
  21 }