(int ttype)
| 676 | } |
| 677 | |
| 678 | public Token newTokenFromPreviousChar(int ttype) { |
| 679 | STToken t = new STToken(input, ttype, input.index()-1, input.index()-1); |
| 680 | t.setLine(input.getLine()); |
| 681 | t.setCharPositionInLine(input.getCharPositionInLine()-1); |
| 682 | return t; |
| 683 | } |
| 684 | |
| 685 | public Token newToken(int ttype, String text, int pos) { |
| 686 | STToken t = new STToken(ttype, text); |
no test coverage detected