java_cup
public class terminal extends symbol
Version: last updated: 7/3/96
Field Summary | |
---|---|
static terminal | error special terminal used for error recovery |
static terminal | EOF Special terminal for end of input. |
protected static int | next_index Static counter to assign unique index. |
protected static Hashtable | _all Table of all terminals. |
protected static Hashtable | _all_by_index Table of all terminals indexed by their index number. |
Constructor Summary | |
---|---|
terminal(String nm, String tp, int precedence_side, int precedence_num) Full constructor. | |
terminal(String nm, String tp) Constructor for non-precedented terminal | |
terminal(String nm) Constructor with default type. |
Method Summary | |
---|---|
static Enumeration | all() Access to all terminals. |
static terminal | find(String with_name) Lookup a terminal by name string. |
static terminal | find(int indx) Lookup a terminal by index. |
boolean | is_non_term() Report this symbol as not being a non-terminal. |
static int | number() Total number of terminals. |
int | precedence_num() get the precedence of a terminal |
int | precedence_side() |
void | set_precedence(int p, int new_prec) set the precedence of a terminal |
String | toString() Convert to a string. |
Parameters: nm the name of the terminal. tp the type of the terminal.
Parameters: nm the name of the terminal.