Package | Description |
---|---|
java_cup |
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
|
Modifier and Type | Method and Description |
---|---|
static terminal |
terminal.find(int indx)
Lookup a terminal by index.
|
static terminal |
terminal.find(java.lang.String with_name)
Lookup a terminal by name string.
|
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.
|