Справочник по Ada 2012
5.7 Операторы exit
Оператор exit_statement используется для завершения выполнения вложенного оператора loop_statement; завершение является условным, если оператор exit_statement включает условие condition.
Синтаксис
Правила разрешения имен
Идентификатор loop_name, если он есть, в операторе exit_statement должен ссылаться на оператор loop_statement.
Правила легальности
Каждый оператор exit_statement применяется к оператору loop_statement; это оператор loop_statement, который завершается. Оператор exit_statement с именем разрешается только внутри оператора loop_statement с этим именем и применяется к этому оператору. Оператор exit_statement без имени разрешается только внутри оператора loop_statement и применяется к самому внутреннему из вложенных. Оператор exit_statement, который применяется к заданному оператору loop_statement, не должен появляться внутри тела или оператора accept_statement, если эта конструкция сама вложена в данный оператор loop_statement.
Динамическая семантика
При выполнении оператора exit_statement, условие condition, если оно присутствует, оценивается в первую очередь. Если значение условия condition истинно, или если условие отсутствует, выполняется переход управления для завершения оператора loop_statement. Если значение условия condition ложно, переход управления не происходит.
ПРИМЕЧАНИЯ
8 Несколько вложенных циклов могут быть завершены оператором exit_statement, который указывает имя внешнего цикла.
Примеры
Примеры циклов с операторами exit:
for N in 1 .. Max_Num_Items loop
Get_New_Item(New_Item);
Merge_Item(New_Item, Storage_File);
exit when New_Item = Terminal_Item;
end loop;
Get_New_Item(New_Item);
Merge_Item(New_Item, Storage_File);
exit when New_Item = Terminal_Item;
end loop;
Main_Cycle:
loop
-- начальные операторы
exit Main_Cycle when Found;
-- конечные операторы
end loop Main_Cycle;
loop
-- начальные операторы
exit Main_Cycle when Found;
-- конечные операторы
end loop Main_Cycle;
