const proc: for (inout integer: aVar) range (in integer: lowerLimit) to (in integer: upperLimit) do (in proc: statements) end for

Integer for-loop, looping from lowerLimit upward to upperLimit. The variable aVar is initialized with lowerLimit. The statements are executed repeatedly. After each repetition the variable aVar is incremented. After the statements were executed with upperLimit the for-loop is terminated. If lowerLimit is greater than upperLimit the statements are not executed at all.

const proc: for (inout integer: aVar) range (in integer: upperLimit) downto (in integer: lowerLimit) do (in proc: statements) end for

Integer for-loop, looping from upperLimit downward to lowerLimit. The variable aVar is initialized with upperLimit. The statements are executed repeatedly. After each repetition the variable aVar is decremented. After the statements were executed with lowerLimit the for-loop is terminated. If upperLimit is less than lowerLimit the statements are not executed at all.

const proc: for (inout integer: variable) range (in integer: lowerLimit) to (in integer: upperLimit) step (in integer: incr_step) do (in proc: statements) end for

Integer for-loop, looping upward and incrementing by incr_step. The variable aVar is initialized with lowerLimit. The statements are executed repeatedly. After each repetition the variable aVar is incremented by incr_step. After the statements were executed with upperLimit the for-loop is terminated. If lowerLimit is greater than upperLimit the statements are not executed at all.

const proc: for (inout integer: variable) range (in integer: upperLimit) downto (in integer: lowerLimit) step (in integer: decr_step) do (in proc: statements) end for

Integer for-loop, looping downward and decrementing by incr_step. The variable aVar is initialized with upperLimit. The statements are executed repeatedly. After each repetition the variable aVar is decremented by incr_step. After the statements were executed with lowerLimit the for-loop is terminated. If upperLimit is less than lowerLimit the statements are not executed at all.

const proc: FOR_STEP_DECLS (in type: aType)

Template function to define for-loops with step for aType. Defines an upward and a downward counting for-loop which increments/decrements the loop variable with incr_step respectively decr_step. The for-loops are only defined, if aType supports the +:= respectively -:= operator.

const proc: FOR_UNTIL_DECLS (in type: aType)

Template function to define for-loops for aType with a condition. Defines an upward and a downward counting for-loop which increments/decrements the loop variable. The loop is terminated if either the last value has been processed or if the condition is TRUE. The condition is checked before the statements in the loop body are executed. The loop variable never gets a value below lowerLimit or above upperLimit.

const proc: FOR_DECLS (in type: aType)

Template function to define all for-loops for aType. Defines upward and downward counting for-loops which increment/decrement the loop variable with 1 or with a given step value. In normal for-loops and in for-until-loops the loop variable never gets a value below lowerLimit or above upperLimit. The for-loops with step value are defined with the FOR_STEP_DECLS template.

const proc: for (in integer: numRepeats) do (in proc: statements) end for

For-loop which loops a given number of times.

const proc: for (inout char: forVar) range (in string: stri) do (in proc: statements) end for

For-loop which loops over the characters of a string.

const proc: for key (inout integer: keyVar) range (in string: stri) do (in proc: statements) end for

For-loop which loops over the keys (indices) of a string.

const proc: for (inout char: forVar) key (inout integer: keyVar) range (in string: stri) do (in proc: statements) end for

For-loop which loops over characters and keys (indices) of a string.

const proc: for (inout char: forVar) range (in string: stri) until (in func boolean: condition) do (in proc: statements) end for

For-loop which loops over the characters of a string Additionally a condition is checked before the statements in the loop body are executed.

const proc: for key (inout integer: number) range (in string: stri) until (in func boolean: condition) do (in proc: statements) end for

For-loop which loops over the keys (indices) of a string. Additionally a condition is checked before the statements in the loop body are executed.

const proc: for (inout char: forVar) key (inout integer: number) range (in string: stri) until (in func boolean: condition) do (in proc: statements) end for

For-loop which loops over characters and keys (indices) of a string. Additionally a condition is checked before the statements in the loop body are executed.