---

15.25.5 Loop Constructs

The remaining sections of this chapter describe the constructs that the Loop Facility provides. The descriptions are organized according to the functionality of the constructs. Each section begins with a general discussion of a particular operation; it then presents the constructs that perform the operation.

iteration control

describes iteration control clauses that allow directed loop iteration.

end-test control

describes clauses that stop iteration by providing a conditional expression that can be tested after each execution of the loop body.

value accumulation

describes constructs that accumulate values during iteration and return them from a loop. This section also discusses ways in which accumulation clauses can be combined within the Loop Facility.

variable initializations

describes the with construct, which provides local variables for use within the loop body, and other constructs that provide local variables.

conditional execution

describes how to execute loop clauses conditionally.

unconditional execution

describes the do and return constructs. It also describes constructs that are used in the loop prologue and loop epilogue.

miscellaneous features

discusses loop data types and destructuring. It also presents constructs for naming a loop and for specifying initial and final actions.