public int getToken() throws IOException {
number = null;
string = null;
- if (pushBackDepth == 0) return _getToken();
+ if (pushBackDepth == 0) return op = _getToken();
pushBackDepth--;
op = pushBackInts[pushBackDepth];
if (pushBackObjects[pushBackDepth] != null) {
}
class LexerException extends IOException {
- public LexerException(String s) { super(sourceName + ":" + line + "," + col + " " + s); }
+ public LexerException(String s) { super(sourceName + ":" + line + "," + col + ": " + s); }
}
}