(int index, int xla)
| 6303 | } |
| 6304 | |
| 6305 | final private void jj_save(int index, int xla) { |
| 6306 | JJCalls p = jj_2_rtns[index]; |
| 6307 | while (p.gen > jj_gen) { |
| 6308 | if (p.next == null) { p = p.next = new JJCalls(); break; } |
| 6309 | p = p.next; |
| 6310 | } |
| 6311 | p.gen = jj_gen + xla - jj_la; p.first = token; p.arg = xla; |
| 6312 | } |
| 6313 | |
| 6314 | static final class JJCalls { |
| 6315 | int gen; |