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


Описание настройки - часть 6


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

универсального-фиксированного

типа (см. 4.5.5), так как эти специальные операции описаны в пакете STANDARD.

При конкретизации настройки каждая из этих операций — соответствующая базовая операция или предопределенная операция для сопоставленного фактического типа. Для операции это правило сохраняется даже в случае переопределения ее для фактического типа или некоторого его родительского типа.

Примеры формальных типов настройки:

type ITEM is private;

type BUFFER(LENGTH : NATURAL) is limited private;

type ENUM is <>;

type INT is range <>;

type ANGLE is delta <>;

type MASS is digits <>; type TABLE is array (ENUM) of ITEM;

Пример раздела формальных параметров настройки с описанием формального целого типа:

generic

type RANK Is range <>;

FIRST : RANK := RANK'PIRST; SECOND : RANK :== FIRST + 1; &#x2014; операция &#xAB;+&#xBB; для типа RANK

Ссылки:

генератор 4.8, дискретный диапазон 3.6, дискретный тип 3.6, индексируемая компонента 4.1.1, класс типа 3.3, конкретизация 12.3, лимитируемый личный тип 7.4.4, мультипликативная операция 4.5, 4.5.5, неравенство 4.5.2, обозначение типа 3.3.2, ограничение 3.3, операция 4.5, операция типа 3.3, описание 3.1, описание настраиваемого модуля 12.1, описание параметра настройки 12.1, определение индексируемого типа 3.6, определение личного типа 7.4, определение настраиваемого типа 12.1, отрезок 4.1.2, перечислимый тип 3.5.1, плавающий тип 3.5.7, присваивание 5.2, равенство 4.5.2, раздел дискриминантов 3.7.1, раздел формальных параметров настройки 12.1, родительский тип 3.4, скалярный тип 3.5, сопоставление фактических параметров настройки 12.3.2, 12.3.3, 12.3.4, 12.3.5, стандартный пакет 8.6 С, тело настраиваемого модуля 12.2, указание подтипа 3.3.2, универсальный фиксированный тип 3.5.9, фактический тип настройки 12.3, фиксированный тип 3.5.9, формальная подпрограмма настройки 12.1.3, формальный тип настройки 12.1, целый тип 3.5.4.




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



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