|
package java_cup.runtime;
|
|
/** This subclass of symbol represents (at least) terminal symbols returned
|
* by the scanner and placed on the parse stack. At present, this
|
* class does nothing more than its super class.
|
*
|
* @see java_cup.runtime.int_token
|
* @see java_cup.runtime.str_token
|
* @version last updated: 11/25/95
|
* @author Scott Hudson
|
*/
|
public class token extends symbol {
|
|
/* Simple constructor -- just delegates to the super class. */
|
public token(int term_num)
|
{
|
/* super class does all the work */
|
super(term_num);
|
}
|
};
|
