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


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


дискриминанты

(если они есть) и набор

операций,

определенных над его значениями. Личный тип и соответствующие операции определяются в

видимом разделе пакета

или в

разделе формальных параметров настройки.

Для личных типов, не являющихся

лимитируемыми,

определены также операции присваивания, сравнения на равенство и неравенство.

Модельное число

(model number) — точно представляемое значение

вещественного типа. Операции

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

Набор

(collection) — вся совокупность

объектов,

создаваемых вычислением

генераторов

для некоторого

ссылочного типа.

Настраиваемый модуль

(generic unit) — шаблон для множества

подпрограмм

или

пакетов.

Создаваемые с использованием этого шаблона подпрограмма или пакет называются

экземплярами

данного настраиваемого модуля. Конкретизация настройки является видом описания, которое создает экземпляр. Настраиваемый модуль пишется в виде подпрограммы или пакета с предшествующим спецификации

разделом формальных параметров настройки. Формальным параметром

настройки является либо

тип,

либо

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

либо

объект.

Настраиваемый модуль — это один из видов

программных модулей.

Область действия

(scope), см.

описание.

Обозначить

(denote), см.

описание.

Обработчик

(handler), см.

исключение.

Объект

(object) — понятие, которое обладает значением некоторого

типа. Программа

создает объект либо при

предвыполнении описания объекта,

либо при

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

Описание или генератор задают тип объекта, объект может обладать значением только этого типа.

Офаничение

(constraint) — средство выделения подмножества значений

типа.

Принадлежащее этому подмножеству значение удовлетворяет ограничению.

Ограничение диапазона




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



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