src/codegeneration/generator/State.js
function generateAssignStateOutOfFinally(enclosingFinally, destination) {
  var finallyState = enclosingFinally.finallyState;
  // $ctx.state = finallyState;
  // $fallThrough = destination;
  return createStatementList(
      createAssignStateStatement(finallyState),
      parseStatement `$ctx.finallyFallThrough = ${destination}`);
}
function generateAssignStateOutOfFinally(enclosingFinally, destination) {
  var finallyState = enclosingFinally.finallyState;
  // $ctx.state = finallyState;
  // $fallThrough = destination;
  return createStatementList(
      createAssignStateStatement(finallyState),
      parseStatement `$ctx.finallyFallThrough = ${destination}`);
}
Generate code for a jump out of a finally block.
@param {FinallyState} enclosingFinally
@param {number} destination
@return {Array.<ParseTree>}