src/edu/berkeley/sbp/meta/AnnotationGrammarBindingResolver.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 AnnotationGrammarBindingResolver extends GrammarBindingResolver {
  13
  14     private static boolean harsh = true;
  15
  16     private final Class _cl;
  17     private final Class[] _inner;
  18
  19     public AnnotationGrammarBindingResolver() {
  20         this(MetaGrammarBindings.class);
  21     }
  22
  23     public AnnotationGrammarBindingResolver(Class c) {
  24         this._cl = c;
  25         this._inner = c.getDeclaredClasses();
  26     }
  27
  28     public AnnotationGrammarBindingResolver(Class c, Class[] inner) {
  29         this._cl = c;
  30         this._inner = inner;
  31     }
  32
  33     public Object repeatTag() {
  34         return new Tree.ArrayBuildingTreeFunctor<Object>();
  35     }
  36
  37     public Sequence tryResolveTag(String tag, String nonTerminalName, Element[] els, Object[] labels, boolean[] drops) {
  38         MetaGrammar.Production p = new MetaGrammar.Production(tag, nonTerminalName, els, labels, drops);
  39             if (labels != null && labels.length > 0 && "numeric".equals(labels[0]))
  40                 System.out.println("here! ");
  41         for(Method m : _cl.getMethods())
  42             if (new MetaGrammar.Target(m).isCompatible(p))
  43                 return new MetaGrammar.Target(m).makeSequence(p);
  44         for(Class c : _inner)
  45             for(Constructor con : c.getConstructors())
  46                 if (new MetaGrammar.Target(con).isCompatible(p))
  47                     return new MetaGrammar.Target(con).makeSequence(p);
  48         for(Class c : _inner)
  49             if (new MetaGrammar.Target(c).isCompatible(p))
  50                 return new MetaGrammar.Target(c).makeSequence(p);
  51         return null;
  52     }
  53     public Sequence resolveTag(String tag, String nonTerminalName, Element[] els, Object[] labels, boolean[] drops) {
  54         MetaGrammar.Production p = new MetaGrammar.Production(tag, nonTerminalName, els, labels, drops);
  55         Sequence ret = tryResolveTag(tag, nonTerminalName, els, labels, drops);
  56         if (ret != null) return ret;
  57         String message = "could not find a Java method/class/ctor matching tag \""+tag+
  58             "\", nonterminal \""+nonTerminalName+"\" with " + els.length + " arguments";
  59         if (harsh) {
  60             throw new RuntimeException(message);
  61         } else {
  62             System.err.println(message);
  63             return Sequence.rewritingSequence(tag, els, labels, drops);
  64         }
  65     }
  66 }