/** A grammar (a set of nonterminals) */
public static class GrammarNode extends HashMap<String,NonTerminalNode> implements NonTerminalSource {
public NonTerminalNode[] getNonTerminals() {
/** A grammar (a set of nonterminals) */
public static class GrammarNode extends HashMap<String,NonTerminalNode> implements NonTerminalSource {
public NonTerminalNode[] getNonTerminals() {
Tree.TreeFunctor<Object,Object> red = (Tree.TreeFunctor<Object,Object>)t.head();
String oldprefix = prefix;
prefix = as;
Tree.TreeFunctor<Object,Object> red = (Tree.TreeFunctor<Object,Object>)t.head();
String oldprefix = prefix;
prefix = as;