WHILE LOOP Statement

The WHILE LOOP statement runs one or more statements while a condition is TRUE. The WHILE LOOP statement ends when the condition becomes FALSE or NULL, when a statement inside the loop transfers control outside the loop, or when an exception is raised.

Topics:

• Syntax

• Semantics

• Examples

• Related Topics

Syntax

while_loop_statement ::=

Description of the illustration while_loop_statement.gif

See:

• boolean_expression ::=

• statement ::=

Semantics

boolean_expression

This 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, or transfer control outside the loop. 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

A label that identifies while_loop_statement (see the syntax diagram statement ::= and the description of 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 at the end of the LOOP statement matches one of the labels at the beginning of the same statement (the compiler does not check).

Examples

• Example 4-14, "WHILE LOOP Statements"

Related Topics

In this chapter:

• "Basic LOOP Statement"

• "CONTINUE Statement"

• "Cursor FOR LOOP Statement"

• "EXIT Statement"

• "Explicit Cursor"

• "FETCH Statement"

• "FOR LOOP Statement"

• "FORALL Statement"

• "OPEN Statement"

In other chapters:

• "WHILE LOOP Statement"