(int ttype)
| 644 | } |
| 645 | |
| 646 | public Token newTokenFromPreviousChar(int ttype) { |
| 647 | STToken t = new STToken(input, ttype, input.index() -1, input.index() -1); |
| 648 | t.setLine(input.getLine()); |
| 649 | t.setCharPositionInLine(input.getCharPositionInLine() -1); |
| 650 | return t; |
| 651 | } |
| 652 | |
| 653 | public Token newToken(int ttype, String text, int pos) { |
| 654 | STToken t = new STToken(ttype, text); |
no test coverage detected