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


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


Возбуждение

исключения состоит в прекращении нормального выполнения программы, сигнализирующем о наличии ошибки.

Обработчик исключения —

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

обработкой исключения.

Квалифицированное выражение

(qualified expression) —

выражение,

перед которым указан его

тип

или

подтип.

Используется для разрешения неоднозначности выражения (например, из-за

совмещения).

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

(compilation unit) —

описание

или

тело программного модуля,

предназначенные для компиляции в качестве самостоятельного текста. Перед ним может быть задан

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

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

спецификаторах совместимости.

Компонента

(component) — значение, которое является частью более сложного значения, или

объект,

который является частью более сложного объекта.

Константа

(constant), см.

объект.

Лексема

(lexical element) — лексический элемент, который может быть идентификатором,

литералом,

ограничителем или комментарием.

Лимитируемый тип

(limited type) —

тип,

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

заданные типы —

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

Личный тип

может быть определен как лимитируемый. Для лимитируемого типа может быть явно описана операция сравнения на равенство.

Литерал

(literal) — значение, явно выраженное буквами, цифрами или другими символами. Литерал — это одно из четырех: числовой литерал, литерал перечисления, символьный литерал или строковый литерал.

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

(private part), см.

пакет.

Личный тип

(private type) —

тип,

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




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



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