blob: 0df9b8159e1d853f2287c924f743c89d6b3efd2d [file] [log] [blame]
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);
}
};