Uses of Class
java_cup.terminal

Uses of terminal in java_cup

Fields in java_cup declared as terminal

Modifier and Type	Field and Description
static terminal	terminal.EOF Special terminal for end of input.
static terminal	terminal.error special terminal used for error recovery

Methods in java_cup that return terminal

Modifier and Type	Method and Description
static terminal	terminal.find(int indx) Lookup a terminal by index.
static terminal	terminal.find(String with_name) Lookup a terminal by name string.

Methods in java_cup with parameters of type terminal

Modifier and Type	Method and Description
boolean	terminal_set.add(terminal sym) Add a single terminal to the set.
boolean	terminal_set.contains(terminal sym) Determine if the set contains a particular terminal.
void	terminal_set.remove(terminal sym) Remove a terminal if it is in the set.