7.86.2 LEAVE についてのコメント/警告

LEAVEループ変更コマンドは以下のように動作します。

                   <ループ・コマンド>
              ---- LEAVE
             |
             |     <ループ終了コマンド>
              --->

<ループ・コマンド>および<ループ終了コマンド>として、以下のコマンドを使用できます。