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


Типы и подтипы - часть 5


Примеры описаний подтипов:

subtype RAINBOW is COLOR range RED .. BLUE; -- см. 3.3.1 subtype REOBLUE is RAINBOW; subtype INT is INTEGER; subtype SMALUNT is INTEGER range -10 .. 10; subtype UPTOK is COLUMN range 1 .. К; -- см. 3.3.1 subtype SQUARE is MATRIX(1 .. 10, 1 .. 10); -- см. 3.6 subtype MALE is PERSON(SEX => M); -- см. 3.8

Примечание.

Описание подтипа не определяет нового типа.

Ссылки:

базовый тип3, выражение 4.4, вычисление 4.5, дискриминант 3.3, зарезервированное слово 2.9, имя типа 3.3.1, исключение CONSTRAINT_ERROR 11.1, неограниченный подтип 3.3, ограничение диапазона 3.5, ограничение дискриминанта 3.7.2, ограничение индекса 3.6.1, ограничение плавающего типа 3.5.7, ограничение фиксированного типа 3.5.9, описание 3.1, подтип 3.3, предвыполнение 3.9, совместимость с ограничением диапазона 3.5, совместимость с ограничением дискриминанта 3.7.2, совместимость с ограничением индекса 3.6.1, совместимость с ограничением плавающего типа 3.5.7, совместимость с ограничением фиксированного типа 3.5.9, тип 3.3.

3.3.3. КЛАССИФИКАЦИЯ ОПЕРАЦИЙ

Множество операций над типом включает явно описанные подпрограммы с параметром

или результатом этого типа; такие подпрограммы необходимо описывать после описания типа.

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

базовые

операции, предопределенные операции (см. 4.5) и литералы перечисления. Описанием производного типа неявно задаются операции, включающие производные подпрограммы. Считается, что описания операций расположены между описанием типа и последующим описанием, если таковое имеется. Неявные описания производных подпрограмм расположены последними. Базовыми операциями являются:

• Присваивание (в операторах присваивания и инициализациях), генератор, проверка принадлежности или форма управления с промежуточной проверкой.

• Именуемая компонента, индексируемая компонента или отрезок.

• Квалификация (в квалифицированных выражениях), явное преобразование типа или неявное преобразование значения типа




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



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