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