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


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


описании типа.

Эти литералы перечисления являются либо идентификаторами, либо

символьными литералами.

Плавающий тип

(floating point type), см.

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

Подкомпонента

(subcomponent) —

компонента

либо компонента другой компоненты или подкомпоненты.

Подпрограмма

(subprogram) —

программный модуль,

который может быть либо

процедурой,

либо

функцией.

Процедура определяет последовательность действий и вызывается с помощью

вызова процедуры.

Функция определяет последовательность действий, а также возвращает значение, называемое

результатом,

и, таким образом,

вызов функции

является

выражением.

Подпрограмма задается в виде

описания подпрограммы,

которое определяет ее

имя, формальные параметры

и (для функции) ее результат, и

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

которое определяет последовательность действий. В вызове подпрограммы задаются

фактические параметры,

которые сопоставляются с формальными параметрами. Подпрограмма — это один из видов программного модуля.

Подтип

(subtype) — набор значений данного

типа,

определяемый

ограничением

типа. Каждое значение из множества значений подтипа

принадлежит

этому подтипу и

удовлетворяет

ограничению, определяющему подтип.

Позиционное сопоставление

(positional association) — способ задания связи элемента с позицией, использующий позицию размещения элемента для определения этого элемента.

Постфикс

(selector), см.

именуемая компонента.

Прагма

(pragma) — языковая конструкция для передачи информации компилятору.

Предвыполнение

(elaboration) — процесс, применяемый к

описанию, в

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

объект).

Этот процесс происходит при выполнении

программы.

Префикс

(prefix) — начальная часть некоторых видов

имени.

Префикс — это либо

вызов функции,

либо

имя.

Присваивание

(assignment) — базовая

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




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



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