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


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


Тело

(body) — конструкция, определяющая процесс выполнения

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

или

задачи. След тела

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

субмодулем.

Тип

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

операций типа,

применимых к этим значениям.

Определение типа —

это языковая конструкция, которой вводится тип. Конкретный тип — это

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

или

задачный тип.

Удовлетворять

(satisfy), см.

ограничение, подтип.

Указывать

(designate), см.

ссылочный тип, задача.

Фактический параметр

(actual parameter), см.

параметр.

Фиксированный тип

(fixed point type), см.

вещественный тип.

Формальный параметр

(formal parameter), см.

параметр.

Функция

(function), см.

подпрограмма.

Целый тип

(integer type) —

дискретный тип,

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

диапазоне.

Экземпляр

(instance), см.

настраиваемый мрдуль.


[8]

Вместо термина "операция типа" в стандарте используется термин "операция", который не вызывает неоднозначности при его использовании в контексте. -- Прим. ред.

Пред. 

Уровень выше  След.

Приложение C.

ПРЕДОПРЕДЕЛЕННОЕ ОКРУЖЕНИЕ ЯЗЫКА  

Начало  Приложение E.

СВОДКА СИНТАКСИСА




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



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