The continue keyword makes it possible to stop execution of a loop iteration
and continue with the next one. A continue statement has the same syntax
(except “exit” is replaced with “continue”), static semantics, and legality
rules as an exit statement. The difference is in the dynamic semantics: where an
exit statement would cause a transfer of control that completes the (implicitly
or explicitly) specified loop_statement, a continue statement would instead
cause a transfer of control that completes only the current iteration of that
loop_statement, like a goto statement targeting a label following the last
statement in the sequence of statements of the specified loop_statement.
Note that continue is a keyword but it is not a reserved word. This is a
configuration that does not exist in standard Ada.