--- /dev/null
+
+package java_cup.runtime;
+
+/** This subclass of symbol represents (at least) terminal symbols returned
+ * by the scanner and placed on the parse stack. At present, this
+ * class does nothing more than its super class.
+ *
+ * @see java_cup.runtime.int_token
+ * @see java_cup.runtime.str_token
+ * @version last updated: 11/25/95
+ * @author Scott Hudson
+ */
+public class token extends symbol {
+
+ /* Simple constructor -- just delegates to the super class. */
+ public token(int term_num)
+ {
+ /* super class does all the work */
+ super(term_num);
+ }
+};