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


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


Идентификатор, употребляемый в таких местах, называется

простым именем

понятия; говорят, что

имя обозначает

связанное с ним понятие.

Описание переименования

(renaming declaration) — описание другого

имени

понятия.

Пакет

(package) —

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

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

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

этих типов и

подпрограммы с параметрами

этих типов. Пакет состоит из

описания пакета

и

тела пакета.

Описание пакета имеет

видимый раздел,

содержащий

описания

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

личный раздел с

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

Тело пакета

содержит реализации

подпрограмм

(и, возможно,

задач),

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

Параметр

(parameter) — одно из именованных понятий, связанных с

подпрограммой, входом

или

настраиваемым модулем

и используемых для связи с соответствующим

телом

подпрограммы,

оператором принятия

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

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

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

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

это конкретное понятие, сопоставленное соответствующему формальному параметру при

вызове подпрограммы, вызове входа

или

конкретизации настройки. Вид

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

параметров формальным параметрам может быть определено с помощью

именованного сопоставления, с

помощью

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

или их комбинацией.

Переменная

(variable), см.

объект.

Перечислимый тип

(enumeration type) —

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

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

литералами

перечисления, заданными явно в




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



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