()
| 6144 | } |
| 6145 | |
| 6146 | final public Token getNextToken() { |
| 6147 | if (token.next != null) token = token.next; |
| 6148 | else token = token.next = token_source.getNextToken(); |
| 6149 | jj_ntk = -1; |
| 6150 | jj_gen++; |
| 6151 | return token; |
| 6152 | } |
| 6153 | |
| 6154 | final public Token getToken(int index) { |
| 6155 | Token t = lookingAhead ? jj_scanpos : token; |
no outgoing calls
no test coverage detected