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


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


е. либо TRUE, либо FALSE).

Результат проверки принадлежности определен в терминах сравнения значения операнда с нижней и верхней границами заданного диапазона или обозначения типа (к таким сравнени-ям применяются обычные правила).

Примечание.

Для плавающего типа числа 15.0, 3.0 и 5.0 всегда являются модельными числами. Следовательно, X/Y, где Х равно 15.0, а Y — 3.0, согласно приведенным выше правилам, вырабатывает в результате точно 5.0. В общем случае деление не вырабатывает в результате модельные числа, и, следовательно, нельзя рассчитывать, что выполнено равенство (1.0/Х)'Х =1.0.

Ссылки:

атрибут 4.1.4, атрибут MACHINE_OVERFLOWS 13.7.1, базовая операция типа 3.3.3, вещественный тип 3.5.6, возбуждение исключений 11, граница диапазона 3.5, граница ошибки 3.5.6, диапазон 3.5, исключение NUMERIC_ERROR 11.1, логическое значение FALSE 3.5.3, логи-' ческое значение TRUE 3.5.3, модельное число 3.5.6, обозначение типа 3.3.2, операция возведения в степень 4.5.6, операция отношение 4.5, 4.5.2, операция умножение 4.5.5, отношение 4.4, плавающий тип 3.5.9, подтип 3.3, предопределенная операция типа 3.3.3, преобразование типа 4.6, проверка вхождения 4.5.2, универсальное выражение 4.10, хранимое число 3.5.6.


[5]

Если они есть. -

Прим. ред.

Пред. 

Уровень выше  След.

4.4. ВЫРАЖЕНИЯ

 

Начало  

4.6. ПРЕОБРАЗОВАНИЕ ТИПА




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