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


Производные типы - часть 4


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

Если родительский тип является логическим, то предопределенные операции отношения над производным типом дают результаты предопределенного типа BOOLEAN (см. 4.5.2).

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

Если параметр производной подпрограммы принадлежит производному типу, подтип это-

.-, го

параметра не обязан иметь значение, общее с производным подтипом.

Ссылки:

агрегат 4.3, атрибут 4.1.4, базовая операция 3.3.3, базовый тип 3.3, вид 6.1, видимый раздел 7.2, вход 9.5, вызов функции 6.4, выражение по умолчанию 3.2.1, граница диапазона 3.5, дискриминант 3.3, зарезервированное слово 2.9, зона описания 8.1, класс типа 3.3, компонента 3.3, литерал 4.2, литерал перечисления 3.5.1, личный тип 7.4, логический тип 3.5.3, набор 3.8, начальное значение по умолчанию для ссылочного типа 3.8, непосредственно в 8.1, неявное описание 3.1, ограничение 3.3, ограничение диапазона 3.5, ограничение плавающего типа 3.5.7, ограничение фиксированного типа 3.5.9, оператор вызова процедуры 6.4, описание 3.1, описание настройки 12.1, определение типа 3.3.1, отрезок 4.1.2, пакет 7, подпрограмма 6, подтип 3.3, предвыполнение 3.9, предопределенная операция 4.5, преобразование 4.6, процедура б, совмещение 6.6, 8.7, сопоставление параметров 6.4, составной тип 3.3, спецификатор представления 13.1, спецификация пакета 7.1, спецификация подпрограммы 6.1, ссылочное значение 3.8, тип 3.3, указание подтипа 3.3.2, фактический параметр 6.4.1, формальный параметр 6.1.

Пред. 

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

3.3. ТИПЫ И ПОДТИПЫ

 

Начало  

3.5. СКАЛЯРНЫЕ ТИПЫ




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



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