package java_cup.runtime;/** This subclass of token represents symbols that need to maintain one *  double value as an attribute.  It maintains that value in the public *  field int_val. * * @see java_cup.runtime.str_token * @version last updated: 1/7/96 * @author  Scott Hudson */public class double_token extends token {  /** Full constructor. */  public double_token(int term_num, double v)    {      /* super class does most of the work */      super(term_num);      double_val = v;    }  /** Constructor with default value of 0.0. */  public double_token(int term_num)    {      this(term_num,0.0f);    }  /** The stored double value. */  public double double_val;};