|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use terminal | |
|---|---|
| java_cup | |
| Uses of terminal in java_cup |
|---|
| Fields in java_cup declared as terminal | |
|---|---|
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 | |
|---|---|
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 | |
|---|---|
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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||