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


Именуемые типы - часть 10


Кроме базовых операции над именуемым типом включают предопределенное сравнение на равенство и неравенство, если тип не является лимитируемым.

Примечание.

Именуемый тип ~ лимитируемый, если тип хотя бы одной из его компонент — лимитируемый (см. 7.4.4).

Ссылки:

агрегат 4.3, атрибут 4.1.4, базовая операция 3.3.3, вид 6.1, дискриминант 3.3, именуемая компонента 4.1.3, именуемый тип 3.7, квалифицированное выражение 4.7, константа 3.2.1, лимитируемый тип 7.4.4, логический тип 3.5.3, объект 3.2.1, ограничение дискриминанта 3.7.2, операция 3.3, операция отношения 4.5, 4,5.2, подкомпоненТа 3.3, подтип 3.3, предопределенная операция 4.5, предопределенный тип С, преобразование 4.6, присваивание 5.2, проверка принадлежности 4.5, 4.5.2, производный тип 3.4, тип 3.3, фактический параметр 6.4.1, фактический параметр настройки 12.3, формальный параметр 6.1, формальный параметр настройки 12.1, 12.3

Пред. 

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

3.6. ИНДЕКСИРУЕМЫЕ ТИПЫ

 

Начало  

3.8. ССЫЛОЧНЫЕ ТИПЫ




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



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