1
2package 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 */
13public class token extends symbol {
14
15  /* Simple constructor -- just delegates to the super class. */
16  public token(int term_num)
17    {
18      /* super class does all the work */
19      super(term_num);
20    }
21};
22