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