1 
2 package java_cup.runtime;
3 
4 /** This subclass of symbol represents (at least) terminal symbols returned
5  *  by the scanner and placed on the parse stack.  At present, this
6  *  class does nothing more than its super class.
7  *
8  * @see java_cup.runtime.int_token
9  * @see java_cup.runtime.str_token
10  * @version last updated: 11/25/95
11  * @author  Scott Hudson
12  */
13 public class token extends symbol {
14 
15   /* Simple constructor -- just delegates to the super class. */
token(int term_num)16   public token(int term_num)
17     {
18       /* super class does all the work */
19       super(term_num);
20     }
21 };
22