Тело подпрограммы определяет ее выполнение.
тело-подпрограммы ::= спецификация-подпрограммы is [раздел - описаний] begin последовательность-операторов [exception обработчик - исключения {обработчик-исключения}] end [обозначение];
Описание подпрограммы необязательно. При отсутствии описания спецификация подпрограммы в ее теле (или в следе тела) играет роль описания. Для каждого описания подпрограммы должно быть соответствующее тело (кроме подпрограмм, написанных на другом языке, как поясняется в разд. 13.9). Если даны и описание, и тело, то спецификация подпрограммы в теле должна быть согласована со спецификацией подпрограммы в описании (см. разд. 6.3.1 о правилах согласования).
Если в конце тела подпрограммы присутствует обозначение, то оно должно совпадать с обозначением в спецификации подпрограммы.
Предвыполнение тела подпрограммы не имеет никакого другого эффекта, кроме установления факта, что тело может быть использовано для выполнения вызовов подпрограммы.
Выполнение тела подпрограммы инициируется вызовом подпрограммы (см. 6.4). Для этого после установления соответствия между формальными и фактическими параметрами предвы-полняется раздел описаний тела и выполняется последовательность операторов тела подпрограммы. По окончании выполнения тела осуществляется возврат в место вызова (и необходимое обратное копирование значений формальных параметров в фактические (см. 6.2)). Необязательные обработчики исключений, заданные в конце тела подпрограммы, выполняются при возбуждении исключений во время выполнения последовательности операторов тела подпрограммы (см. 11.4).
Примечание. Из правил видимости следует, что если описанная в пакете подпрограмма обязана быть видимой вне пакета, то спецификация подпрограммы должна быть дана в видимой части пакета. Эти же правила предписывают, что описание подпрограммы должно быть дано, если вызов подпрограммы возникает текстуально до тела подпрограммы (описание должно помещаться в тексте программы раньше вызова). Данные в разд. 3.9 и 7.1 правила подразумевают, что описание подпрограммы и соответствующее тело должны находиться непосредственно в одной и той же зоне описаний.
Пример тела подпрограммы:
procedure PUSH(E : in ELEMENT.TYPE; S : in out STACK) ) is begin if S.INDEX = S.SIZE then raise STACK-OVERFLOW; else S.INDEX := S.INDEX + 1; S.SPACE(S.INDEX) := E; end if;end PUSH;
Ссылки: видимость 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.
6.3.1. ПРАВИЛА СОГЛАСОВАНИЯ
Всякий раз, когда правила языка требуют или допускают появления спецификации данной подпрограммы более одного раза, в каждом месте допустимы следующие вариации:
•Числовой литерал может быть заменен другим числовым литералом тогда и только тогда, когда они имеют одно и то же значение.
• Простое имя может быть заменено расширенным именем, в котором это простое имя является постфиксом тогда и только тогда, когда смысл простого имени в обоих случаях определяется одним и тем же описанием.
• Строковый литерал в качестве знака операции может быть заменен на другой строковый литерал тогда и только тогда, когда они представляют одну и ту же операцию (см. 8.5).
Две спецификации подпрограммы называются согласованными, если за исключением комментариев и приведенных выше вариаций, обе спецификации образованы одной и той же последовательностью лексем и соответствующие лексемы имеют одинаковый смысл с точки зрения правил видимости и совмещения.
Аналогичное согласование определяется для разделов формальных параметров, разделов дискриминантов и обозначений типов (для субконстант и фактических параметров, которые имеют форму преобразования типа (см. 6.4.1)).
Примечание. Простое имя может быть заменено на расширенное имя, даже если простое имя само является префиксом именуемой компоненты. Например, Q.R может быть заменено на P.Q.R, если. Q описано непосредственно в Р.
Следующие спецификации не согласуются, так как они сформированы различными последовательностями лексем:
procedure P(X.Y : INTEGER) procedure P(X : INTEGER; Y : INTEGER) procedure P(X.Y : in INTEGER)
Ссылки: видимость 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. ПОДСТАНОВКА ПОДПРОГРАММ
Прагма INLINE используется для указания того факта, что для каждого вызова каждого указанного в прагме имени подпрограммы желательна подстановка тела соответствующей подпрограммы. Форма этой прагмы следующая:
pragma INLINE (имя (, имя));
Каждое имя — это либо имя подпрограммы, либо имя настраиваемой подпрограммы. Прагма INLINE допустима только на месте элемента описания в разделе описаний или спецификации пакета либо после библиотечного модуля в компиляции, но до любого следующего компилируемого модуля.
Если прагма стоит на месте элемента описания, то каждое имя должно обозначать подпрограмму или настраиваемую подпрограмму, описанную раньше в виде элемента описания этого же раздела описаний или этой же спецификации пакета. Если несколько совмещенных подпрограмм удовлетворяют этому требованию, то прагма применяется ко всем. Если эта прагма стоит после данного библиотечного модуля, то в качестве ее аргумента допустимо только имя этого модуля. Если в прагме упомянуто имя настраиваемой подпрограммы, это указывает, что подстановка желательна для вызовов всех подпрограмм, являющихся конкретизацией именованного настраиваемого модуля.
Смысл подпрограммы не изменяется прагмой INLINE. Для каждого вызова заданных в прагме подпрограмм реализация может выполнять или игнорировать рекомендации прагмы. (Заметим, в частности, что подстановка не может быть выполнена для рекурсивных подпрограмм.)
Ссылки: библиотечный модуль 10.1, вызоё подпрограммы 6.4, допустимый 1.6, имя 4.1, компилируемый модуль 10.1, компиляция 10.1, конкретизация 12.3, настраиваемая подпрограмма 12.1, настраиваемый модуль 12, 12.1, подпрограмма 6, прагма 2.8, раздел описаний 3.9, совмещение 6.6, 8.7, спецификация пакета 7.1, тело подпрограммы 6.3, элемент описания 3.9.