Lines Matching defs:terminal
6 /** This class represents a terminal symbol in the grammar. Each terminal
15 public class terminal extends symbol {
22 * @param nm the name of the terminal.
23 * @param tp the type of the terminal.
25 public terminal(String nm, String tp)
36 // throw new internal_error("Duplicate terminal (" + nm + ") created");
37 (new internal_error("Duplicate terminal (" + nm + ") created")).crash();
49 * @param nm the name of the terminal.
51 public terminal(String nm)
68 /** Lookup a terminal by name string. */
69 public static terminal find(String with_name)
74 return (terminal)_all.get(with_name);
82 /** Lookup a terminal by index. */
83 public static terminal find(int indx)
87 return (terminal)_all_by_index.get(the_indx);
102 /** Special terminal for end of input. */
103 public static final terminal EOF = new terminal("EOF");
107 /** special terminal used for error recovery */
108 public static final terminal error = new terminal("error");
114 /** Report this symbol as not being a non-terminal. */
