- public static @bind class Grammar {
- public NonTerminal get(String s) {
- for(NonTerminal nt : nonterminals)
- if (nt.name.equals(s)) return nt;
- return null;
- }
- public @bind.arg NonTerminal[] nonterminals;
+
+ /** A grammar (a set of nonterminals) */
+ public static class Grammar extends HashMap<String,NonTerminal> {
+ public @bind Grammar(NonTerminal[] nonterminals) {
+ for(NonTerminal nt : nonterminals) this.put(nt.name, nt); }