Системный пакет - часть 5
Атрибуты, применимые к плавающим и фиксированным типам:
T'MACHINE_ROUNDS |
Вырабатывает значение TRUE, если каждая предопределенная арифметическая операция над значениями базового типа Т либо возвращает точный результат, либо осуществляет округление. В противном случае вырабатывает значение FALSE. Значение этого атрибута имеет предопределенный тип BOOLEAN. |
T'MACHINE_OVERFLOWS |
Вырабатывает значение TRUE, если каждая предопределенная операция над значениями базового типа Т либо возвращает точный результат, либо возбуждает исключение NUMERIC_ERROR при перевыполнении (см. 4.5.7); в противном случае вырабатывает значение FALSE. Значение этого атрибута имеет предопределенный тип BOOLEAN. |
Следующие атрибуты дают характеристики машинного представления значений плавающего типа в терминах канонической формы, определенной в разд. 3.5.7:
T'MACHINE_RADIX |
Вырабатывает значение основания системы счисления, используемого в машинном представлении базового типа Т. Значение этого атрибута имеет универсальный-целый тип. |
T'MACHINE_MANTISSA |
Вырабатывает число цифр в мантиссе машинного представления базового типа Т. (Цифра — это расширенная цифра из диапазона 0 .. Т'MACHINE_RADIX - 1.) Значение этого атрибута имеет универсальный-целый тип. |
T'MACHINE_EMAX |
Вырабатывает наибольшее значение порядка в машинном представлении базового типа Т. Значение этого атрибута имеет универсальный-целый тип. |
T'MACHINE_EMIN |
Вырабатывает наименьшее (наибольшее по модулю отрицательное) значение порядка в машинном представлении базового типа Т. Значение этого атрибута имеет универсальный-целый тип. |
Примечание.
В большинстве машин наибольшее представимое в машине число типа Т равно
F'MACHINE_RADIX..(F'MACHINE_EMIN - 1)
а наименьшее положительное представимое число в машине равно
F'MACHINE_RADIX ** (F'MACHINE_EMIN - 1)
Ссылки:
арифметическая операция 4.5, атрибут 4.1.4, базовый тип 3.3, вещественный тип 3.5.6, исключение NUMERIC_ERROR 11.1, логическое значение TRUE 3.5.3, логическое значение FALSE 3.5.3, модельное число 3.5.6, основание системы счисления 3.5.7, плавающий тип 3.5.7, подтип 3.3, предопределенный логический тип 3.5.3, предопределенная операция 3.3.3, тип 3.3, универсальный-целый тип 3.5.4, фиксированный тип 3.5.9, числовой тип 3.5.
Пред. |
Уровень выше | След. |
13.6. ИЗМЕНЕНИЕ ПРЕДСТАВЛЕНИЯ
|
Содержание |
13.8. ВСТАВКИ МАШИННЫХ КОДОВ |