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


Приложение d термины и определения - часть 3


Заданный тип —

это

тип,

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

указывает

задачу.

Именованное сопоставление

(named association) — способ задания связи элемента составного значения с одной или несколькими позициями с помощью их именования.

Именуемая компонента

(selected component) —

имя,

состоящее из

префикса

и идентификатора, называемого

постфиксом.

Именуемые компоненты используются для обозначения компонент записей,

входов

и

объектов,

указанных ссылочными значениями; они также используются как

расширенные имена.

Именуемый тип

(record type) — составной тип из именованных различными идентификаторами

компонент,

которые обычно бывают различных

типов

или

подтипов.

Для каждой компоненты значения записи или

объекта-записи в

определении именуемого типа задается идентификатор, который однозначно определяет компоненту записи.

Имя

(name) — средство представления понятия. Говорят, что имя

обозначает

понятие и что понятие является смыслом имени. См. также

описание, префикс.

Индекс

(index), см.

индексируемый тип.

Индексируемая компонента

(indexed component) — форма

имени,

содержащая

выражения,

которые задают значения

индексов компоненты массива.

Индексируемая компонента

обозначает

компоненту массива. Индексируемая компонента может также обозначать

вход в

семействе входов.

Индексируемый тип

(array type) — составной тип из

компонент

одного и того же

подтипа

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

индексом

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

дискретного типа

и принадлежать требуемому диапазону индексов.

Исключение

(exception) — обозначение ошибочной ситуации, которая может произойти при выполнении программы и при этом будет зарегистрирована и обработана.




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



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