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.*;
8 import java.lang.annotation.*;
9 import java.lang.reflect.*;
12 // FIXME: non-static methods
13 public class AnnotationGrammarBindingResolver extends GrammarBindingResolver {
15 private static boolean harsh = true;
17 private final Class _cl;
18 private HashMap<String,Class[]> _inner = new HashMap<String,Class[]>();
19 private HashMap<String,Method[]> _allMethods = new HashMap<String,Method[]>();
21 public AnnotationGrammarBindingResolver(Class c) {
26 public void add(Class c, String prefix) {
28 ArrayList<Class> alc = new ArrayList<Class>();
29 if (_inner.get(prefix) != null)
30 for(Class cc : _inner.get(prefix))
33 ArrayList<Method> alm = new ArrayList<Method>();
34 if (_allMethods.get(prefix) != null)
35 for(Method m : _allMethods.get(prefix))
38 add(c, alc, alm, prefix);
39 this._inner.put(prefix, (Class[])alc.toArray(new Class[0]));
40 this._allMethods.put(prefix, (Method[])alm.toArray(new Method[0]));
43 public Object repeatTag() { return new Tree.ArrayBuildingTreeFunctor<Object>(); }
45 public Sequence tryResolveTag(String tag, String nonTerminalName, Element[] els, boolean[] drops) {
47 String key = tag==null?nonTerminalName:tag;
48 if (key==null) return null;
50 String prefix = key.indexOf('.')==-1 ? "" : key.substring(0, key.lastIndexOf('.'));
51 String suffix = key.indexOf('.')==-1 ? key : key.substring(key.lastIndexOf('.')+1);
53 MetaGrammar.Production p = new MetaGrammar.Production(tag, nonTerminalName, els, drops);
54 for(Method m : _allMethods.get(prefix))
55 if (new MetaGrammar.Target(m).isCompatible(p))
56 return new MetaGrammar.Target(m).makeSequence(p);
57 for(Class c : _inner.get(prefix))
58 for(Constructor con : c.getConstructors())
59 if (new MetaGrammar.Target(con).isCompatible(p))
60 return new MetaGrammar.Target(con).makeSequence(p);
61 for(Class c : _inner.get(prefix))
62 if (new MetaGrammar.Target(c).isCompatible(p))
63 return new MetaGrammar.Target(c).makeSequence(p);
69 public Sequence resolveTag(String tag, String nonTerminalName, Element[] els, boolean[] drops) {
70 MetaGrammar.Production p = new MetaGrammar.Production(tag, nonTerminalName, els, drops);
71 Sequence ret = tryResolveTag(tag, nonTerminalName, els, drops);
72 if (ret != null) return ret;
73 String message = "could not find a Java method/class/ctor matching tag \""+tag+
74 "\", nonterminal \""+nonTerminalName+"\" with " + els.length + " arguments";
76 throw new RuntimeException(message);
78 return Sequence.rewritingSequence(tag, els, drops);
84 private static void add(Class cl, ArrayList<Class> alc, ArrayList<Method> alm, String prefix) {
86 for(Method m : cl.getDeclaredMethods())
88 for(Class c : cl.getDeclaredClasses()) {
90 add(c, alc, alm, prefix);
92 if (cl.getSuperclass() != Object.class)
93 add(cl.getSuperclass(), alc, alm, prefix);