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);    }};