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


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


Примеры {использующие типы, описанные в предыдущем разделе}:

LARGE : ВUFFЕР(200); -- всегда ограничен, 200 символов -- это явное значение дискриминанта MESSAQE: BUFFER; -- не ограничен, вначале 100 символов -- это значение дискриминанта по -- умолчанию

BASIS : 8QUАRЕ(5); -- ограничен, всегда 5 на 5 ILLEGAL : SQUARE; -- неправильно, SQUARE -- должен быть ограничен

Примечание.

Приведенные правила и правила, определяющие предвыполнение описания объекта (см. 3.2), гарантируют, что дискриминанты всегда имеют значения. В частности, если ограничение дискриминанта входит в описание объекта, то каждый дискриминант инициализирован значением, определяемым ограничением. Аналогично если подтип компоненты имеет ограничение дискриминанта, то дискриминанты этой компоненты соответственно инициализированы.

Ссылки:

Вид 6.1, вид In

out

6.1, вход 9.5, выражение 4.4, выражение по умолчанию для дискриминанта 3.7, вычисление 4.5, генератор 4.8, граница диапазона 3.5, дискриминант 3.3, зависит от дискриминанта 3.7.1, зарезервированное слово 2.9, имя 4.1, компонента 3.3, константа 3.2.1, обозначение типа 3.3.2, указываемый тип 3.8, объект 3.2, ограничение 3.3, ограниченный подтип 3.3, описание 3.1, описание компоненты 3.7, описание объекта 3.2.1, описание переименования 8.5, определение индексируемого типа 3.6, определение ссылочного типа 3.8, переменная 3.2.1, подкомпонента 3.3, подпрограмма 6, подтип 3.3, предвыполнение 3.9, простое имя 4.1, совместимый 3.3.2, составное значение 3.3, ссылочное значение 3.8, ссылочный тип 3.8, тип 3.3, удовлетворять 3.3, указание подтипа 3.3.2, указание подтипа компоненты 3.7, указываемый тип 3.8, указывать 3.8, фактический параметр 6.4.1, фактический параметр настройки 12.3, формальный параметр 6.1, формальный параметр настройки 12.1, 12.3.

3.7.3. РАЗДЕЛЫ ВАРИАНТОВ

Именуемый тип с разделом вариантов задает альтернативные списки компонент. Каждый вариант определяет компоненты для соответствующего значения или значений дискриминанта.




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



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