O comando for

A sintaxe simplificada do comando for é dada por
for
in [reverse] loop
end loop;

é um identificador declarado automaticamente pelo comando for.
é especificado através de um nome de tipo de dado discreto, ou por um intervalo, cujo tipo de dado é utilizado na declaração automática do .
A semântica do comando for estabelece a obtenção do primeiro valor de intervalo e sua atribuição ao , que também é chamado de parâmetro de interação. A é executa se o valor do parâmetro de iteração é menor ou igual ao último valor do intervalo. Cada vez que termina sua execução, o parâmetro de controle recebe o próximo valor. Abaixo está um exemplo prático da utilização do comando for:
For I in 0 .. 3 loop
X(I) := X(I) + 1;
End loop;
A opção reverse do commando for especifica que o identificador de definição receberá, em cada interação, os valores em ordem inversa ao do intervalo, isto é, do maior ao menor. Veja um exemplo da semântica do comando for utilizando reverse
For I in reverse 0 .. 3 loop
X(I) := X(I) + 1;
End loop;