Именованые циклы
Инструкции преждевременного выхода из цикла exit и exit when, обычно, осуществляют выход из того цикла, который непосредственно содержит данную инструкцию. Однако, мы можем именовать циклы и модифицировать инструкцию выхода из цикла так, чтобы осуществлять выход сразу из всех вложенных циклов. Во всех случаях, следующая выполняемая инструкция будет следовать сразу за циклом из которого был осуществлен выход.
| outer_loop: loop
-- инструкции loop -- инструкции exit outer_loop when логическое_выражение; end loop; end loop outer_loop; |
Примечательно, что в случае именованого цикла end loop
также необходимо именовать меткой.