public static Union make(Tree t, String s) { return make(t, s, new AnnotationGrammarBindingResolver(MetaGrammarBindings.class)); }
public static Union make(Tree t, String s, GrammarBindingResolver rm) {
Tree.TreeFunctor<Object,Object> red = (Tree.TreeFunctor<Object,Object>)t.head();
- MetaGrammarBindings.Grammar g = (MetaGrammarBindings.Grammar)red.invoke(t.children());
+ MetaGrammarBindings.GrammarNode g = (MetaGrammarBindings.GrammarNode)red.invoke(t.children());
Context cx = new Context(g,rm);
Union u = null;
- for(MetaGrammarBindings.NonTerminal nt : g.values()) {
+ for(MetaGrammarBindings.NonTerminalNode nt : g.values()) {
Union el = (Union)cx.get(nt.name);
StringBuffer st = new StringBuffer();
el.toString(st);
public static class Context {
public HashMap<String,Union> map = new HashMap<String,Union>();
- public MetaGrammarBindings.Grammar grammar;
+ public MetaGrammarBindings.GrammarNode grammar;
public String cnt = null;
public GrammarBindingResolver rm;
- public Context(MetaGrammarBindings.Grammar g, GrammarBindingResolver rm) {
+ public Context(MetaGrammarBindings.GrammarNode g, GrammarBindingResolver rm) {
this.grammar = g;
this.rm = rm;
}
public Union build() {
Union ret = null;
- for(MetaGrammarBindings.NonTerminal nt : grammar.values()) {
+ for(MetaGrammarBindings.NonTerminalNode nt : grammar.values()) {
Union u = get(nt.name);
if ("s".equals(nt.name))
ret = u;
public Context(Tree t, GrammarBindingResolver rm) {
this.rm = rm;
Tree.TreeFunctor<Object,Object> red = (Tree.TreeFunctor<Object,Object>)t.head();
- this.grammar = (MetaGrammarBindings.Grammar)red.invoke(t.children());
+ this.grammar = (MetaGrammarBindings.GrammarNode)red.invoke(t.children());
}
public Union peek(String name) { return map.get(name); }
public void put(String name, Union u) { map.put(name, u); }
if (ret != null) return ret;
ret = new Union(name);
map.put(name, ret);
- MetaGrammarBindings.NonTerminal nt = grammar.get(name);
+ MetaGrammarBindings.NonTerminalNode nt = grammar.get(name);
if (nt==null) {
System.err.println("*** warning could not find " + name);
} else {