Справочное руководство по языку Ада-83


Тела подпрограмм - часть 3


Примечание.

Простое имя может быть заменено на расширенное имя, даже если простое имя само является префиксом именуемой компоненты. Например, 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 допустима только на месте элемента описания в разделе описаний или спецификации пакета либо после библиотечного модуля в компиляции, но до любого следующего компилируемого модуля.

Если прагма стоит на месте элемента описания, то каждое имя должно обозначать подпрограмму или настраиваемую подпрограмму, описанную раньше в виде элемента описания этого же раздела описаний или этой же спецификации пакета. Если несколько совмещенных подпрограмм удовлетворяют этому требованию, то прагма применяется ко всем. Если эта прагма стоит после данного библиотечного модуля, то в качестве ее аргумента допустимо только имя этого модуля. Если в прагме упомянуто имя настраиваемой подпрограммы, это указывает, что подстановка желательна для вызовов всех подпрограмм, являющихся конкретизацией именованного настраиваемого модуля.




Начало  Назад  Вперед