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


Конкретизация настройки - часть 10


-- следующие конкретизации эквивалентны function SQUARE is new SQUARING(ITEM => INTEGER, "*" => "*");

function SQUARE is new SQUARING(INTEGER, "*");

function SQUARE is new SQUARING(INTEGER);

Примечание.

Правила сопоставления для формальных подпрограмм устанавливают требования, которые подобны требованиям, применяемым к описаниям переименования подпрограмм (см. 8.5). В частности, не требуется совпадения имен соответствующих параметров формальной и фактической подпрограмм; аналогично для таких параметров не обязательно соответствие выражений по умолчанию.

Формальной подпрограмме сопоставляется атрибут типа, если этот атрибут — функция с сопоставимой спецификацией. Литерал перечисления данного'типа сопоставляется с формальной функцией без параметров и результатом данного типа.

Ссылки:

атрибут 4.1.4, видимость 8.3, вход 9.5, имя 4.1, конкретизация настройки 12.3, обозначение 6.1, ограничитель бокс 12.1.2, подпрограмма 6, подтип 3.3, профиль типа параметров и результата 6.3, сопоставление фактических параметров настройки 12.3, спецификация подпрограммы 6.1, фактический тип настройки 12.3, формальная подпрограмма настройки 12.1, формальный тип настройки 12.1.2, функция 6.5.

Пред. 

Уровень выше  След.

12.2. НАСТРАИВАЕМЫЕ ТЕЛА

 

Начало  

12.4. ПРИМЕР НАСТРАИВАЕМОГО ПАКЕТА




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