Get the next Token.
()
| 4119 | |
| 4120 | /** Get the next Token. */ |
| 4121 | final public Token getNextToken() { |
| 4122 | if (token.next != null) { |
| 4123 | token = token.next; |
| 4124 | } else { |
| 4125 | token = token.next = token_source.getNextToken(); |
| 4126 | } |
| 4127 | jj_ntk = -1; |
| 4128 | jj_gen++; |
| 4129 | return token; |
| 4130 | } |
| 4131 | |
| 4132 | /** Get the specific Token. */ |
| 4133 | final public Token getToken(int index) { |
no outgoing calls
no test coverage detected