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


Описание настройки


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

описание-настройки ::= спецификация-настройки; спецификация-настройки ::= раздел-формальных-параметров-настройки спецификация-подпрограммы | раздел-формальных-параметров-настройки спецификация-пакета

раздел-формальных-параметров-настройки :: = generic {описание-параметра-настройки}

описание параметра-настройки ::= список-идентификаторов :[in [out]] обозначение-типа [:= выражение]; | type идентификатор is определение-настраиваемого-типа; | описание-личного-типа | with спецификация-подпрограммы [is имя]; [ with спецификация-подпрограммы [is <>];

определение*-настраиваемого-типа ::= (<>) | range <> | digits <> | delta <> | определение-индексируемого-типа | определение-ссылочного-типа

Для ссылки на соответствующие формальные параметры настройки используются такие термины: формальный объект настройки (или, короче,

формальный объект},

формальный тип настройки (или, короче,

формальный тип)

и формальная подпрограмма настройки (или, короче,

формальная подпрограмма}.

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

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




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



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