WHILE LOOP文

WHILE LOOP文は、条件がTRUEの場合に1つ以上の文を実行します。条件がFALSEまたはNULLになった場合、ループの内側の文によって制御がループの外側に移されたかまたは例外が呼び出された場合に、WHILE LOOP文は終了します。

ここでのトピック

• 構文

• セマンティクス

• 例

• 関連トピック

構文

while_loop_statement ::=

while_loop_statement.gifの説明

参照:

• 「boolean_expression ::=」

• 「statement ::=」

セマンティクス

boolean_expression

値がTRUE、FALSEまたはNULLの式です。

boolean_expressionは、ループの各反復の先頭で評価されます。値がTRUEの場合は、LOOPの後の文が実行されます。それ以外の場合は、制御がWHILE LOOP文の後の文に移ります。

statement

無限ループが発生しないように、1つ以上の文によってboolean_expressionの値をFALSEまたはNULLに変更するか、制御をループの外側に移すか、または例外を呼び出す必要があります。制御をループの外側に移すことができる文には次のものがあります。

• 「CONTINUE文」(外側のラベル付きループの次の反復に制御を移す場合)

• 「EXIT文」

• 「GOTO文」

• 「RAISE文」

label

while_loop_statementを識別するラベル(「statement ::=」と「label」を参照)。CONTINUE、EXITおよびGOTO文でこのラベルを参照できます。

LOOP文がネストされている場合は特に、ラベルによって読みやすさが向上します。ただし、END LOOP文内のラベルが、同じLOOP文の先頭のラベルと一致している場合のみです(コンパイラではチェックしません)。

例

• 例4-28「WHILE LOOP文」

関連トピック

この章:

• 「基本LOOP文」

• 「CONTINUE文」

• 「カーソルFOR LOOP文」

• 「EXIT文」

• 「明示カーソルの宣言および定義」

• 「FETCH文」

• 「FOR LOOP文」

• 「FORALL文」

• 「OPEN文」

他の章:

• 「WHILE LOOP文」