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


Системный пакет - часть 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. ВСТАВКИ МАШИННЫХ КОДОВ




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