()
| 6161 | } |
| 6162 | |
| 6163 | final private int jj_ntk() { |
| 6164 | if ((jj_nt=token.next) == null) |
| 6165 | return (jj_ntk = (token.next=token_source.getNextToken()).kind); |
| 6166 | else |
| 6167 | return (jj_ntk = jj_nt.kind); |
| 6168 | } |
| 6169 | |
| 6170 | private java.util.Vector jj_expentries = new java.util.Vector(); |
| 6171 | private int[] jj_expentry; |
no test coverage detected