WHILE LOOP Statement

Syntax

while_loop_statement ::=

See:

• "boolean_expression ::="

• "statement ::="

Semantics

boolean_expression

Expression whose value is TRUE, FALSE, or NULL.

boolean_expression is evaluated at the beginning of each iteration of the loop. If its value is TRUE, the statements after LOOP run. Otherwise, control transfers to the statement after the WHILE LOOP statement.

statement

To prevent an infinite loop, at least one statement must change the value of boolean_expression to FALSE or NULL, transfer control outside the loop, or raise an exception. The statements that can transfer control outside the loop are:

• "CONTINUE Statement" (when it transfers control to the next iteration of an enclosing labeled loop)

• "EXIT Statement"

• "GOTO Statement"

• "RAISE Statement"

label

Label that identifies while_loop_statement (see "statement ::=" and "label"). CONTINUE, EXIT, and GOTO statements can reference this label.

Labels improve readability, especially when LOOP statements are nested, but only if you ensure that the label in the END LOOP statement matches a label at the beginning of the same LOOP statement (the compiler does not check).

Examples

• Example 4-27, "WHILE LOOP Statements"

Related Topics

In this chapter:

• "Basic LOOP Statement"

• "CONTINUE Statement"

• "Cursor FOR LOOP Statement"

• "EXIT Statement"

• "Explicit Cursor Declaration and Definition"

• "FETCH Statement"

• "FOR LOOP Statement"

• "FORALL Statement"

• "OPEN Statement"

In other chapters:

• "WHILE LOOP Statement"