4 * Our Symbol class that adds line number functionality.
6 public class Symbol extends java_cup.runtime.Symbol {
10 * The simple constructor - just calls super and sets the line number
12 public Symbol(int type, int left, int right, Object value, int line) {
13 super(type, left, right, value);