Acts as a loop that repeats the statements in StatSeq until Ident is greater than Expr2. Expr1 and Expr2 are expressions of type number. Ident is a variable of type number. The first time the loop is entered, Ident is set to Expr1. Ident is incremented by 1 each time the loop is executed. Expr2 is only evaluated the first time the loop is entered.
Stat = "for" [Ident | "var" Ident] ":=" Expr1 "to" Expr2 "do" StatSeq "end".
The for loop is equivalent to the following while loop:
dcltrans transaction t1 const MAX_IND := 100; var I : number; a : array [MAX_IND] of number; begin ... for I := 1 to MAX_IND do a[i] := i; end; end t1;