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


Операции и вычисление выражения - часть 2


Предопределенные операции над целыми типами либо вырабатывают математически корректный результат, либо возбуждают исключение NUMERIC_ERROR. Предопределенная операция, вырабатывающая результат целого типа (отличного от

универсального-целого

)

,

может возбуждать исключение NUMERIC_ERROR, только если математический результат не является значением этого целого типа. Предопределенные операции над вещественными типами вырабатывают результаты, точность которых определяется в разд. 4.5.7. Предопределенная операция, вырабатывающая результат вещественного типа (отличного от

универсального-вещественного

)

,

может возбуждать исключение NUMERIC_ERROR, только если ее результат не принадлежит диапазону хранимых чисел этого типа, как это поясняется в разд. 4.5.7.

Примеры старшинства:

not SUNNY or WARM -- совпадает с (not SUNNY) or WARM Х > 4.0 and Y > 0.0 -- совпадает с (X > 4.0) and (Y > 0.0) -4.0 * А ** 2 -- совпадает с -(4.0 * (А ** 2)) abs (1 + А) + В -- совпадает с (abs (1 + А)) + В Y ** (-3) -- скобки необходимы А/В * С -- совпадает с (А/В) * С А + (В + С) -- вычисляется В + С, а затем к результату -- прибавляется А

Ссылки:

вещественный тип 3.5.6, в некотором порядке 1.6, возбуждение исключения 11, выражение 4.4, диапазон 3.5, имя 4.1, исключение NUMERIC-ERROR 11.1, множитель 4.4, неявное описание 3.1, обозначение 6.1, описание типа 3.3.1, отношение 4.4, проверка вхождения 4.5.2, простое выражение 4.4, слагаемое-4.4, совмещение 6.6, 8.7, тип 3.3, универсальный-вещественный тип 3.5.6, универсальный-целый тип 3.5.4, форма управления промежуточной проверкой 4.5, 4.5.1, хранимое число 3.5.6, целый тип 3.5.4.

4.5.1. ЛОГИЧЕСКИЕ ОПЕРАЦИИ И ФОРМЫ УПРАВЛЕНИЯ ПРОМЕЖУТОЧНОЙ ПРОВЕРКОЙ

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

Знак операции

Операция

Тип операнда

Тип результата

and

Конъюнкция

Любой логический тип Массив логических компонент

Тот же логический тип Тот же индексируемый тип

ог

Дизъюнкция

Любой логический тип Массив логических компонент

Тот же логический тип Тот же индексируемый

тип

хог

Исключающая дизъюнкция

Любой логический

ТИП

Массив логических компонент

Тот же логический

Тот же индексируемый тип

<




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



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