closeJumpPoint method
Implementation
JumpPoint closeJumpPoint(String keyword) {
int idx = jumpPoints.length - 1;
if (idx < 0 || jumpPoints[idx].keyword != keyword) {
throw CompilerException("'end $keyword' without matching '$keyword'");
}
JumpPoint result = jumpPoints[idx];
jumpPoints.removeAt(idx);
return result;
}