()
| 584 | } |
| 585 | |
| 586 | private void exitLoop() { |
| 587 | loopSet.remove(loopSet.size() - 1); |
| 588 | loopAndSwitchSet.remove(loopAndSwitchSet.size() - 1); |
| 589 | popScope(); |
| 590 | } |
| 591 | |
| 592 | private void restoreRelativeLoopPosition(Loop loop) { |
| 593 | if (loop.getParent() != null) { // see comment in enterLoop |