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 public class Grammar {
15 * Create a grammar from a parse tree.
17 * @param t a tree produced by parsing a grammar using the metagrammar
18 * @param s the name of the "start symbol"
20 public static Union create(Tree t, String s) {
21 return create(t, s, new AnnotationGrammarBindingResolver(MetaGrammarBindings.class));
25 * Create a grammar from a parse tree and binding resolver
27 * @param t a tree produced by parsing a grammar using the metagrammar
28 * @param s the name of the "start symbol"
29 * @param gbr a GrammarBindingResolver that resolves grammatical reductions into tree-node-heads
31 public static Union create(Tree t, String s, GrammarBindingResolver gbr) {
32 Tree.TreeFunctor<Object,Object> red = (Tree.TreeFunctor<Object,Object>)t.head();
33 MetaGrammarBindings.GrammarNode g = (MetaGrammarBindings.GrammarNode)red.invoke(t.children());
34 return g.build(s, gbr);