java_cup

Class terminal

public class terminal extends symbol

This class represents a terminal symbol in the grammar. Each terminal has a textual name, an index, and a string which indicates the type of object it will be implemented with at runtime (i.e. the class of object that will be returned by the scanner and pushed on the parse stack to represent it).

Version: last updated: 7/3/96

Author: Frank Flannery

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.