(int ttype)
| 663 | } |
| 664 | |
| 665 | public Token newToken(int ttype) { |
| 666 | STToken t = new STToken(input, ttype, startCharIndex, input.index()-1); |
| 667 | t.setLine(startLine); |
| 668 | t.setCharPositionInLine(startCharPositionInLine); |
| 669 | return t; |
| 670 | } |
| 671 | |
| 672 | public Token newTokenFromPreviousChar(int ttype) { |
| 673 | STToken t = new STToken(input, ttype, input.index()-1, input.index()-1); |