(int ttype)
| 670 | } |
| 671 | |
| 672 | public Token newTokenFromPreviousChar(int ttype) { |
| 673 | STToken t = new STToken(input, ttype, input.index()-1, input.index()-1); |
| 674 | t.setLine(input.getLine()); |
| 675 | t.setCharPositionInLine(input.getCharPositionInLine()-1); |
| 676 | return t; |
| 677 | } |
| 678 | |
| 679 | public Token newToken(int ttype, String text, int pos) { |
| 680 | STToken t = new STToken(ttype, text); |
no test coverage detected