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


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


простое имя

понятия.

Родительский тип

(parent type), см.

производный тип.

Скалярный тип

(scalar type) — упорядоченный набор значений с операциями отношения. К скалярному типу относится

дискретный

или

вещественный тип. Объект

или значение скалярного типа не имеет

компонент.

Совмещение

(overloading) — свойство понятия иметь несколько альтернатвпыл паопачо-ний в данной точке программного текста. Например, совмещенным

литералом

перечисления может быть идентификатор, который появляется в определениях нескольких

перечислимых типов.

Реальный смысл совмещенного идентификатора определяется по контексту. Совмещенными могут быть также

подпрограммы, агрегаты, генераторы

и

строковые литералы.

Составной тип

(composite type) — тип, значения которого имеют

компоненты.

Существуют две разновидности составного типа:

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

и

именуемые типы.

Спецификатор использования

(use clause) — средство, обеспечивающее прямую видимость

описаний,

которые находятся в

видимых разделах

именованных

пакетов.

Спецификатор контекста

(context clause), см.

компилируемый модуль.

Спецификатор представления

(representation clause) — средство указания компилятору отображения

типа, объекта

или

задачи

на архитектуру объектной машины, на которой выполняется

программа.

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

Спецификатор совместности

(with clause), см.

компилируемый модуль.

Ссылочный тип

(access type) — набор значений

(ссылочные значения},

которые могут быть либо пустым значением, либо значением,

указывающим объект,

созданный

генератором.

Значение указанного объекта может быть прочитано или изменено через ссылочное значение. Определение ссылочного типа задает тип объектов, на которые указывают значения ссылочного типа. См. также

набор.

Субмодуль

(subunit), см.

тело.




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