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