単純な DO グループに含まれているか、 または単純な DO グループを指定してある場合に、 LEAVE ステートメントは、そのグループから制御を離します。 反復 DO グループに含まれているか、 またはそのようなグループを指定してある場合には、 LEAVE ステートメントは、現在の繰り返しも含め、 そのグループのすべての繰り返しを終了します。 制御の流れは、DO グループが END ステートメントに達して 終了した場合に通常移動するはずの位置に移動します。 この位置は、DO グループの END ステートメントに続く 次のステートメントである必要はありません (例 を参照してください)。
|
LEAVE ステートメントおよび参照される (または暗黙に指定される) DO ステートメントが、別々のブロックにあってはなりません。
次の例の詳細については、タイプ 4の項を参照してください。