Справочник по Ada 2005
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, обозначаемого этим именем, и применяется к этому оператору loop_statement. Оператор exit_statement без имени разрешается только внутри оператора loop_statement и применяется к самому внутреннему из вложенных. Оператор exit_statement, который применяется к данному оператору loop_statement, не должен появляться внутри тела или оператора accept_statement, если этот конструкт сам вложен в данный оператор loop_statement.
Динамические семантики
При выполнении оператора exit_statement условие condition, если оно есть, вычисляется сначала. Если значение условия condition равно True, или если условие отсутствует, происходит передача управления для завершения оператора loop_statement. Если значение условия condition равно False, передача управления не происходит.
ПРИМЕЧАНИЯ
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;
