Н. Джехани - Язык Ада (1988) (1160771), страница 88
Текст из файла (страница 88)
равд. 6.3.1 о правилах согласования). Если в конце тела подпрограммы присутствует обозначение, то оно должно совпадать с обозначением в спецификации подпрограммы. Предвыполнение тела подпрограммы не имеет никакого другого эффекта, кроме установ. пения факта, что тело может быть использовано для выполнения вызовов подпрограммы. Выполненив тела подпрограммы инициируется вызовом подпрограммы (см. 6.4). Для этого после установления соответствия между формальными и фактическими параметрами предвыполняется раздел описаний тела и выполняется последовательность операторов тела подпрограммы. По окончании выполнения тела осуществляется возврат в место вызова (и необходимое обратное копирование значений формальных параметров в фактические (см. 62)).
Необя. затвльные обработчики исключений, заданные в конце тела подпрограммы, выполняются при возбуждении исключений во время выполнения последовательности операторов тела подпро. граммы (см. 11.4). Примечание. Из правил видимости следует, что если описанная в пакете подпрограмма обязана быть видимой вне пакета, то спецификация подпрограммы должна быть дана в видимой части пакета. Эти же правила предписывают, что описание подпрограммы должно быть дано, если вызов подпрограммы возникает текстуально до тела подпрограммы (описанне должно помещаться в тексте программы раньше вызова). Данные в равд.
3.9 и 7.1 правила подра. зумевают, что описание подпрограммы и соответствующее тело должны находиться непосредственно в одной и той же зоне описаний. Пример тела подпрограммы: Ргезэмеге РОЗИ(Е: (я ЕьЕМЕНТ ТТРЕ; 8: Ь еи ЗТАСК) Ь Ьеа)л Е 84НОЕХ = 8.8!ЕЕ Шмл лазе ЗТАСК СМЕНЕНА.0И; е1зе 84НСЕХ:= 8.1НЮЕХ + 1; ЗДРАСЕ(84НОЕХ): Е: «чз Н; ела РОЗН: Ссылки: видимость 8.3, видимый раздел 7.2, вызов подпрограммы 6.4, зона описаний 8.1, исключение 11, находится непосредственно в 8.1, обозначение 6.1, обработчик исключения 11.2, описание 3.1, описание подпрограммы 6.1, пакет 7, подпрограмма 6, последовательность операторов 5.1, предвыполнение 3.9, предвыполненне не имеет другого эффекта 3.1, раздел описаний 3.9, след тела 10.2, согласованный 6.3.1, спецификация подпрограммы 6.1, фактический параметр 6.4.1, формальный параметр 6.1.
63.1. ПРАВИЛА СОГЛАСОВАНИЛ Всякий раз, когда правила языка требуют или допускают появления спецификации данной подпрограммы более одного раза, в каждом месте допустимы следующие вариации: ° Числовой литерал может быть заменен другим числовым литералом тогда и только тогда, когда они имеют одно и то же значение.
° Простое нмя может быть заменено расширенным именем, в котором это простое имя является постфиксом тогда и только тогда, когда смысл простого имени в обоих случаях определяется одним и тем же описанием. ° Строковый литерал в качестве знака операции может быть заменен на другои строковый литерал тогда и только тогда, когда они представляют одну Н ту же операцию (см. 8.5). Две спецификации подпрограммы называются согласованными, если за исключением комментариев и приведенных выше вариаций, обе спецификации образованы одной и той же последовательностью лексем и соответствующие лексемы имеют одинаковый смысл с точ. ки зрения правил видимости и совмещения.
Аналогичное согласование определяется для разделов формальных параметров, разделов дискриминантов и обозначений типов (для субконстант и фактических параметров, которые имеют форму преобразования типа (см. 6.4.1)). Примечание. Простое имя может быть заменено на расширенное имя, даже если простое имя само является префиксом именуемой компоненты. Например, ОЯ может быть заменено на Р.О.Я, если. 0 описано непосредственно в Р. Следующие спецификации не согласуются, так как они сформированы различными последовательностями лексем: ргеаевкзе Р(Х,У; !НТЕОЕй) рщевЬм Р(Х: !НТЕОЕя; У: !МТЕОЕЯ) римешяе Р(Х,У: М !МТЕОЕЯ) Ссылки: видимость 8.3, допустимый 1.6, знак операции 6.1, именуемая компонента 4.1.3, имя 4.1, комментарий 2.7, лексема 2, непосредственная видимость 8.3, описание 3.1, постфикс 4.1.3, преобразование типа 4.6, префикс 4.1, простое имя 4.1, раздел дискриминантов 3.7.1, раздел формальных параметров 6.1, расширенное имя 4.1.3, совмещение 6.6, 8.7, спецификация подпрограммы 6.1, субконстанта 7.4.3, фактический параметр 6.4, 6.4.1, числовой литерал 2.4.
6.3.2 ПОДСТАНОВКА ПОДПРОГРАММ Прагма !МЕ!МЕ используется для указания того факта, что для каждого вызова каждого указанного в прагме имени подпрограммы желательна подстановка тела соответствующей подпрограммы. Форма этой прагмы следующаж ргвдп!в !МЫМЕ (имя (, имя)); Каждое имя — это либо имя подпрограммы, либо имя настраиваемой подпрограммы. Прагма !М(.(МЕ допустима только на месте элемента описания в разделе описаний или спецификации пакета либо после библиотечного модуля в компиляции, но до любого следующего компилируемого модуля. Если прагма стоит на месте элемента описания, то каждое имя должно обозначать подпрограмму или настраиваемую подпрограмму, описанную раньше в виде элемента описания этого же раздела описаний или этой же спецификации пакета.
Если несколько совмещенных подпрограмм удовлетворяют этому требованию, то прагма применяется ко всем. Если эта прагма стоит после данного библиотечного модуля, то в качестве ее аргумента допустимо только имя этого модуля. Если в .прагме упомянуто имя настраиваемой подпрограммы, это указывает, что подстановка желательна для вызовов всех подпрограмм, являющихся конкретизацией именованного настраиваемого модуля. Смысл подпрограммы не изменяется прагмой !МЫМЕ.
Для каждого вызова заданных в прагме подпрограмм реализация может выполнять или игнорировать рекомендации прагмы. (Заметим, в частности, что подстановка не может быть выполнена для рекурсивных подпрограмм.) 372 Глава З Ссылки: библиотечныи модуль 10.1, вызов подпрограммы 6.4, допустимый 1.6, имя 4.1, компилируемый модуль 10.1, компиляция 10.1, конкретизация 123, настраиваемая подпрограмма 12.1, настраиваемый модуль 12, 12.1, подпрограмма 6, прагма 2.8, раздел описаний 3.9, совмещение 6.6, 8.7, спецификация пакета 7.1, тело подпрограммы 6.3, элемент описания 3.9.
8.4. ВЫЗОВЫ ПОДПРОГРАММ Вызов подпрограммы — это либо оператор вызова процедуры, либо вызов функции; он вызывает выполнение соответствующего тела подпрограммы. Вызов определяет связь фактических параметров, если они есть, с формальными параметрами подпрограммы. оператор вызова процедуры ;:= имя процедуры [раздел фактических параметров); вызов функции::= имя функции [раздел фактических параметров) раздел фактических параметров::= (сопоставление параметров (, сопоставление параметров!) сопоставление параметров:;= [формальный параметр =>) фактический параметр формальный параметр::= простое имя параметра фактический параметр:: = выражение [ имя переменной обозначение типа (имя переменной) Примеры вызовов процедур: — см. 6.1 — 7.6 — см. 6.1 ТЯАУЕЯЗЕ ТЯЕЕ; ТАВь ЫАМАОЕЯ.(МЗЕЯТ(Е),' Рй(МТ НЕАОЕЙ(128, Т(ТЬЕ, ТЯОЕ); — см.
6.1 — см. 6.1 — см. 6.1 ЗУУ(ТОН(РЯОМ => Х, ТО > МЕХТ); Рй(МТ НЕАОЕЯ(128, НЕАОЕЯ => Т(ТЬЕ, СЕМТЕЯ > ТЯЦЕ); Рй1МТ НЕАОЕЯ(НЕАОЕЯ => ПТЬЕ, СЕМТЕЯ => ТЯОЕ, РАОЕЗ > 128); Примеры вызовов функций: ООТ РЙОООСТ(О, у) — см. 6.1 и 6.6 СЬОС К вЂ” см. 9.6 Ссылки: выражение 4.4, выражение по умолчанию дпя формального параметра 6И, имя 4.1, обозначение типа 3.3.2, ошибочный 1.6, переменная 3.2.1, подпрограмма 6, простое имя 4.1, раздел формальных параметров 6.1, формальный параметр 6.1. Каждое сопоставление параметров связывает фактический параметр с соответствующим формальным параметром. Сопоставление параметров называется именованным, если формальный параметр указан явно, в противном случае оно называется позиционным.
Для позиционного сопоставления фактический параметр соответствует формальному параметру в той же позиции раздела формальных параметров. Именованные сопоставления могут быть даны в любом порядке, но если в одном и том же вызове использованы позиционные и именованные сопоставления, то позиционные сопоставления должны стоять первыми, на своих местах. Следовательно, после именованного со. поставления все остальные должны быть только именованными сопоставлениями.
Для каждого формального параметра подпрограммы вызов подпрограммы должен задавать точно один соответствующий фактический параметр. Этот фактический параметр опре депяется либо явно сопоставлением параметра, либо в отсутствие такого сопоставления выражением по умолчанию (см. 6.4.2).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
