package java_cup.runtime;

/** This subclass of token represents symbols that need to maintain one
 *  int value as an attribute.  It maintains that value in the public
 *  field int_val.
 *
 * @see java_cup.runtime.str_token
 * @version last updated: 11/25/95
 * @author  Scott Hudson
 */

public class int_token extends token {

  /** Full constructor. */
  public int_token(int term_num, int iv)
    {
      /* super class does most of the work */
      super(term_num);

      int_val = iv;
    }

  /** Constructor with default value of 0. */
  public int_token(int term_num)
    {
      this(term_num,0);
    }

  /** The stored int value. */
  public int int_val;
};