java_cup

Class terminal

java.lang.Object

java_cup.symbol

java_cup.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: 11/25/95

Author:

Scott Hudson

Field Summary

Fields

Modifier and Type	Field and Description
protected static Hashtable	_all Table of all terminals.
protected static Hashtable	_all_by_index Table of all terminals indexed by their index number.
static terminal	EOF Special terminal for end of input.
static terminal	error special terminal used for error recovery
protected static int	next_index Static counter to assign unique index.

Fields inherited from class java_cup.symbol

_index, _name, _stack_type, _use_count

Constructor Summary

Constructors

Constructor and Description
terminal(String nm) Constructor with default type.
terminal(String nm, String tp) Full constructor.

Method Summary

Methods

Modifier and Type	Method and Description
static Enumeration	all() Access to all terminals.
static terminal	find(int indx) Lookup a terminal by index.
static terminal	find(String with_name) Lookup a terminal by name string.
boolean	is_non_term() Report this symbol as not being a non-terminal.
static int	number() Total number of terminals.
String	toString() Convert to a string.

Methods inherited from class java_cup.symbol

index, name, note_use, stack_type, use_count

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_all

protected static Hashtable _all

Table of all terminals. Elements are stored using name strings as the key

_all_by_index

protected static Hashtable _all_by_index

Table of all terminals indexed by their index number.

next_index

protected static int next_index

Static counter to assign unique index.

EOF

public static final terminal EOF

Special terminal for end of input.

error

public static final terminal error

special terminal used for error recovery

Constructor Detail

terminal

public terminal(String nm,
        String tp)

Full constructor.

Parameters:

nm - the name of the terminal.

tp - the type of the terminal.

terminal

public terminal(String nm)

Constructor with default type.

Parameters:

nm - the name of the terminal.

Method Detail

all

public static Enumeration all()

Access to all terminals.

find

public static terminal find(String with_name)

Lookup a terminal by name string.

find

public static terminal find(int indx)

Lookup a terminal by index.

number

public static int number()

Total number of terminals.

is_non_term

public boolean is_non_term()

Report this symbol as not being a non-terminal.

Specified by:

is_non_term in class symbol

toString

public String toString()

Convert to a string.

Overrides:

toString in class symbol