Lines Matching full:terminal
11 * @see java_cup.terminal
78 /** Index of this symbol (terminal or non terminal) in the parse tables.
80 * however, a terminal may have the same index as a non-terminal, etc.
84 /** Index of this symbol (terminal or non terminal) in the parse tables.
86 * however, a terminal may have the same index as a non-terminal, etc.
92 /** Indicate if this is a non-terminal. Here in the base class we
