📄 javasymbol.java
字号:
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+"'")); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -