1 
2 package java_cup.runtime;
3 
4 /** This subclass of token represents symbols that need to maintain one
5  *  double value as an attribute.  It maintains that value in the public
6  *  field int_val.
7  *
8  * @see java_cup.runtime.str_token
9  * @version last updated: 1/7/96
10  * @author  Scott Hudson
11  */
12 
13 public class double_token extends token {
14 
15   /** Full constructor. */
double_token(int term_num, double v)16   public double_token(int term_num, double v)
17     {
18       /* super class does most of the work */
19       super(term_num);
20 
21       double_val = v;
22     }
23 
24   /** Constructor with default value of 0.0. */
double_token(int term_num)25   public double_token(int term_num)
26     {
27       this(term_num,0.0f);
28     }
29 
30   /** The stored double value. */
31   public double double_val;
32 };
33