La sentencia exit se usa para finalizar la ejecución de un bucle (loop, for, while). La finalización puede depender del cumplimiento de una condición que debe ser una expresión booleana.
exit_statement ::= exit [loop_identifier] [when condition];
S := 0;
loop
Put ("Teclee un valor: ");
Get (X);
exit when X = 0;
S := S + X;
end loop;
S := 0;
Bucle_1: loop
Put ("Teclee un valor: ");
Get (X);
exit Bucle_1 when X = 0;
S := S + X;
end loop Bucle_1;