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


Описания личных типов и субконстант - часть 3


Примечание.

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

Ссылки:

видимый раздел 7.2, выражение 4.4, генератор 4.8, зарезервированное слово 2.9, идентификатор 2.3, имя 4.1, индексируемый тип 3.6, конкретизация настройки 12.3, лимитируемый тип 7.4.4, личный раздел 7.2, личный тип 7.4, неограниченный индексируемый тип 3.6, неполное описание типа 3.8.1, операция 3.3, описание входа 9.5, описание личного типа 7.4, описание подтипа 3.3.2, описание субконстанты 7.4.3, описание типа 3.3.1, определение именуемого типа 3.7, определение типа 3.3.1, пакет 7, переменная 3.2.1, подкомпонента 3.3, подтип 3.3, полное описание типа 3.3.1, Предвыполнение 3.9, производный тип 3.4, раздел дискриминанта 3.7.1, согласованный 6.3.1, спецификатор представления 13.1, спецификация пакета 7.1, спецификация подпрограммы 6.1, тип 3.3, элемент описания 3.9.

7.4.2. ОПЕРАЦИИ НАД ЛИЧНЫМ ТИПОМ

Операции, которые неявно описаны введением описания личного типа, включают базовые операции: присваивание (кроме лимитируемого типа), проверку принадлежности, квалификацию, явное преобразование и именование компоненты для какого-либо дискриминанта. минанта.

Для личного типа Т в базовые операции также входят атрибуты Т'BASE (см. 3.3.3) и T'SIZE (см. 13.7.2). Для объекта А личного типа в базовые операции включается атрибут A'CONSTRAINED, если личный тип содержит дискриминант (см. 3.7.4), и во всех случаях — атрибуты A'SIZE и A'ADDRESS (см. 13.7.2).

Наконец, операции, неявно описанные описанием личного типа, включают предопределенные отношения равенства и неравенства (кроме личных типов, в описании которых присутствует зарезервированное слово

limited).

Рассмотренные выше операции вместе с подпрограммами, которые имеют параметр или результат личного типа и описаны в видимом разделе пакета, являются единственными операциями над .личным типом, используемыми вне пакета.




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