| |
| public class JavaSymbol extends java_cup.runtime.Symbol { |
| private int line; |
| private int column; |
| |
| public JavaSymbol(int type, int line, int column) { |
| this(type, line, column, -1, -1, null); |
| } |
| |
| public JavaSymbol(int type, int line, int column, Object value) { |
| this(type, line, column, -1, -1, value); |
| } |
| |
| public JavaSymbol(int type, int line, int column, int left, int right, Object value) { |
| super(type, left, right, value); |
| this.line = line; |
| this.column = column; |
| } |
| |
| public int getLine() { |
| return line; |
| } |
| |
| public int getColumn() { |
| return column; |
| } |
| |
| public String toString() { |
| return "line "+line+", column "+column+", sym: "+sym+(value == null ? "" : (", value: '"+value+"'")); |
| } |
| } |