(int ttype)
| 660 | } |
| 661 | |
| 662 | public Token newTokenFromPreviousChar(int ttype) { |
| 663 | STToken t = new STToken(input, ttype, input.index() -1, input.index() -1); |
| 664 | t.setLine(input.getLine()); |
| 665 | t.setCharPositionInLine(input.getCharPositionInLine() -1); |
| 666 | return t; |
| 667 | } |
| 668 | |
| 669 | public Token newToken(int ttype, String text, int pos) { |
| 670 | STToken t = new STToken(ttype, text); |
no test coverage detected