Н. Джехани - Язык Ада (1988) (1160771), страница 86
Текст из файла (страница 86)
5.6. ОПЕРАТОРЫ БЛОКА Оператор блока содержит последовательность операторов, которой может предшество. вать раздел описаний и за которой могут следовать обработчики исключений. оператор блока с = [простое имя блока:[ [бес(аге раздел описаний[ Ье91п последовательность операторов [ехсер[1оп обработчик исключения (обработчик исключенияЦ епб [простое имя блока); Если в операторе блока используется простое имя блока, то оно должно задаваться как в начале, так и в конце.
Выполнение оператора блока заключается в предвыполнении раздела описаний (при его наличии) и последующем выполнении последовательности операторов. Если оператор блока содержит обработчики исключений, то они выполняются при возбуждении соответствующих исключений во время выполнения последовательности операторов (см. 11.2). Пример: ЗЧЧАР: веемге ТЕМР: 1ЙТЕЗЕП; Ьее1п ТЕМР: Ч; Ч: О; О .— ТЕМР; епИ ЗЧЧАР; Примечание.
Если в операторе блока, выполнение последовательности операторов кото. рого окончено, описаны объекты задачного типа, то оператор блока не заканчивается до тех Оле ы пор, пока не будут завершены все его подчиненные задачи (см. 9.4). Это правило применяется также при окончании из-за выполнения операторов выхода, возврата или перехода или из-за возбуждения исключения. Внутри оператора блока его имя может использоваться в расширенных именах локальных понятий, таких как в приведенном выше примере (см.
4.1.3, и. е). Ссылки: возбуждение исключений 11, задачный объект 9.2, обработчик исключений 11.2, оператор возврата 5.8, оператор выхода 5.7, оператор перехода 5.9, подчиненная задача 9.4, последовательность операторов 5.1, простое имя 4.1, раздел описаний 3.9, расширенное имя 4.1.3. 5.Т. ОПЕРАТОРЫ ВЫХОДА Оператор выхода используется дпя окончания выполнения объемлющего оператора цикла (называемого в дальнеишем просто циклом); окончание может быть условным, если оператор выхода содержит условие.
оператор выхода::= ехй ( имя цикле]] шлеп условие]; Оператор выхода с именем цикла допустим только в именованном цикле и применяется к этому циклу; оператор выхода без имени цикла допускается в некотором цикле и применяется к самому внутреннему объемлющему циклу (именованному или нет). Кроме этого, применяемый к конкретному циклу оператор выхода не должен появляться в тепе подпрограммы, тепе пакета, теле задачи, в настраиваемом теле или в операторе принятия, если эта конструкция вложена в рассматриваемый цикл.
Для выполнения оператора выхода сначала вычисляется условие, если оно есть. Выход из цикла происходит, если значением условия является ТЕ)ОЕ или условие отсутствует. Примеры: Ьг М 1и 1 .. МАХ МЦМ )ТЕМЕ Ьер Оет мету ~тем(мечу 1тем); МЕЯОЕ !ТЕМ(МЕУУ !ТЕМ, ВТОИАОЕ Н)ьЕ)! ехл рамп МЕУУ )ТЕМ ТЕИМ1МА1 1ТЕМ: епе 1еер; МА1М СУС1.Е: 1еер начальные операторы ехл МА!М СУСьЕ шлеп РОСНО; -- заключительные операторы епе Ьар МА)М СУС).Е; Примечание. Выход из нескольких вложенных циклов можно осуществить с помощью опе. ратора выхода с именем внешнего цикла.
Ссылки: вычисление 4.5, имя цикла 5.5, логическое значение 3.5.3, настраиваемое тело 12.1, оператор принятия 9.5, оператор цикла 5.5, тело пакета 7.1, тело подпрограммы 8.3, усло. вие 5.3. ЕУА ОПЕРАТОРЫ ВОЗВРАТА Оператор возврата используется для окончания выполнения самой внутренней объемлю. щеи конструкции, которая может быть функцией, процедурой или оператором принятия. оператор возврата::= гейрп (выражение]; Оператор возврата допустим только в теле подпрограммы или настраиваемой подпрограммы или в операторе принятия и применяется к самой внутренней (объемлющей его) такой конструкции; оператор возврата недопустим в теле модуля.
задачи, пакета или настраиваемого пакета, объемлемого одной из указанных конструкций (с другой стороны, он допустим в составном операторе, вложенном в такую конструкцию, и в частности в операторе блока). Оператор возврата в операторе принятия, в теле процедуры или настраиваемой процедуры не должен содержать выражения. Оператор возврата в теле функции или настраиваемой функции должен содержать выражение.
Глава Е Значение выражения определяет результат, возвращаемый функцией. Тип этого вырвже. ния допжвн быть базовым для обозначения типа, приводимого после зарезервированного сло. ва ге(шгп в спецификации функции или настраиваемой функции (это обозначение типа опре. деляет подтип результата). Для выполнения оператора возврата сначала вычисляется выражение (при его наличии) и проверяется принадлежность его значения подтипу результата.
При положительном итоге проверки заканчивается вычисление оператора возврата и одновременно подпрограммы или оператора принятия, при отрицательном — в месте оператора возврата возбуждается исклю. чение СОМЗТВА)МТ ЕППОП. Примеры: 3'эапп; — в процедуре гпапп КЕУ ЧАШЕ((АВТ )МОЕХ); — в функции Примечание. Если выражение является числовым литералом, именованным числом ипи атрибутом, который вырабатывает результат типа универсальный целый или универсальный вещественный, то выполняется неявное преобразование результата, как опи. само в равд. 4.6. Ссылки: атрибут А, вызов функции 6.4, выражение 4.4, именованное число 3.2, зарезервированное олово 2.9, исключение СОМЗТЯА(МТ ЕН 11.1, модуль-задача 9.1, настраиваемое тело!2.1, неявное преобразование типа 4.6, обозначение типа 3.3.2, оператор блока 5.6, оператор принятия 9.5, подтип 3.3, подтип результата 6.1, спецификация подпрограммы 6.1, тело задачи 9.1, тело пакета 7.1, тело подпрограммы 6.3, тело процедуры 6.3, тело функции 6.3, универсальный вещественный тип 3.5.6, универсальный целый тип 3.5.4, числовой литерал 2.4.
5.9. ОПЕРАТОРЫ ПЕРЕХОДА Оператор перехода определяет явную передачу управления на помеченный меткой оператор. оператор перехода::= Ео1о имя метки; Самая вложенная последовательность операторов, объемлющая помеченный меткой оператор, должна также охватывать и оператор перехода на эту метку (в частности, оператор перехода может входить в еще более вложенную последовательность операторов). Кроме того, если оператор перехода содержится в операторе принятия или теле программного модуля, то соответствующий помеченный оператор не должен быть вне этой конструкции, и, наоборот (как следует иэ предыдущего правила), если помеченный оператор содержится в такой конструкции, то оператор перехода не может быть вне ее.
Выполненив оператора перехода заключается в передаче управления на помеченный со. ответствующей меткой оператор. Примечание. Приведенные выше правила допускают передачу управления на оператор иэ некоторой обьемлющей последовательности операторов, но не наоборот. Аналогично они запрещают передачу управления между альтернативами оператора выбора, условного оператора или оператора отбора, между обработчиками исключений нли из обработчика исключения некоторого окружения обратно на последовательность операторов этого окружения. Пример: «СОМРАНЕ» И АИ! < Е!.ЕМЕМТ Имп И !.ЕРТИ) /= б Имп (: (езтйд ВпЗп СОМРАЯЕ; ппа И: — некоторые операторы ппй И! Ссылки: метка 5.1, настраиваемое тело 12.1, обработчик исключения 11.2, окружениа 11.2, оператор 5.1, оператор блока 5.6, оператор выбора 5.4, оператор отбора 9.7, оператор принятия 9.5, передача управления 5.1, последовательность операторов 5.1, программный модуль 6, составной оператор 5.1, тело задачи 9.1, тело пакета 7.1, тело подпрограммы 6.3, условный опе.
ратор 5.3. Глава 6 ПОДПРОГРАММЫ Подпрограммы являются одной иэ четырех форм программных модулей, из которых мо~ут быть составлены программы. Другие формы — зто пакеты, задачныв модули и настраивая. мые модули. Подпрограмма — зто программный модуль, выполнение которого инициируется вызовом подпрограммы. Существуют две формы подпрограмм; процедуры и функции.
Вызов процедуры — зто оператор; вызов функции является выражением. Вызов функции возвращает значе. ние. Определение подпрограммы может состоять из двух частей: описания подпрограммы, определяющего соглашения о ее вызове, и тела подпрограммы, определяющего ее выполнение. Ссылки: вызов подпрограммы 6.4, вызов процедуры 6.4, вызов функции 6.4, задачный модуль 9, настраиваемый модуль 12, описание подпрограммы 6.1, пакет 7, процедура 6.1, тело подпрограммы 6.3, функция 6.6. 6.1. ОПИСАНИЕ ПОДПРОГРАММЫ Описание подпрограммы объявляет процедуру или функцию в зависимости от указанного начального зарезервированного слова.
описание подпрограммы ::= спецификация подпрограммы; спецификация - подпрограммы с = рпюебмге идентификатор (раздел формальных параметров) (млс(!ол обозначение (раздел формальных параметров) гв(мгп обозначение типа обозначение::= идентификатор ( знак операции знак операции::= строковый литерал раздел формальных параметров:: = (спецификация параметра (; спецификация параметра)) спецификация параметра:: = список идентификаторов: вид обозначение типа (:= выражение) вид с= ((л) ( (и ом( ) оМ Спецификация процедуры определяет ее идентификатор и ве формальные параметры (если они есть). Спецификация функции определяет ев обозначение, ее формальные параметры (если они есть) и подтип возвращаемого значения (лодтип результата ). Обозначение, являющееся знаком операции, используется для совмещения операций.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
