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


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


При отрицательном результате проверки возбуждается исключение CONSTRAINT-ERROR.

Формальному параметру настройки вида

in out

данного типа сопоставляется имя переменной этого же типа. Переменная не должна быть формальным параметром вида

out

или его подкомпонентой. Имя должно обозначать такую переменную, для которой допустимо переименование (см. 8.5).

Примечание.

Тип фактического параметра настройки вида

in

не должен быть лимитируемым типом. Ограничения формального параметра настройки вида

in out

являются ограничениями соответствующего фактического параметра настройки (см. 12.2.1).

Ссылки:

вид

in

12.1.1, вид

in out

12.1.1, вид

out

6.2, возбуждение исключения 11, выражение 4.4, имя 4.1, исключение CONSTRAINT-ERROR 11.1, конкретизация настройки 12.3, лимитируемый тип 7.4.4, настраиваемый модуль 12.1, обозначение типа 3.3.2, ограничение 3.3, переменная 3.2.1, подкомпонента 3.3, сопоставление фактических параметров настройки 12.3, тип 3.3, удовлетворять 3.3, фактический параметр настройки 12.3, формальный объект настройки 12.1.1, формальный параметр 6.1, формальный параметр настройки 12.1.

12.3.2. ПРАВИЛА СОПОСТАВЛЕНИЯ ДЛЯ ФОРМАЛЬНЫХ ЛИЧНЫХ ТИПОВ

Формальный личный тип настройки сопоставляется с типом или подтипом (фактическим подтипом), удовлетворяющим следующим условиям:

•Если формальный тип не является лимитируемым, то фактический тип не должен быть лимитируемым. (С другой стороны, если формальный тип является лимитируемым, то соответствующий фактический тип может быть лимитируемым и нелимитируемым.)

•Если формальный тип имеет раздел дискриминантов, то фактический тип должен быть типом с таким же числом дискриминантов; тип дискриминанта в данной позиции в разделе дискриминантов фактического типа должен совпадать с типом дискриминанта в той же позиции раздела дискриминантов формального типа; фактический подтип должен быть неограниченным. (С другой стороны, если формальный тип не имеет дискриминантов, для фактического типа дискриминанты допустимы.)




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



Книжный магазин