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


Скалярные типы - часть 14


T'SAFE-EMAX

Вырабатывает наибольшее значение порядка двоичной канонической формы хранимых чисел базового типа Т. (Этот атрибут вырабатывает число Е, см. разд. 3.5.7.) Значение этого атрибута имеет тип

универсальный-целый.

T'SAFE-SMALL

Вырабатывает наименьшее положительное (ненулевое) хранимое число базового типа Т. Значение этого атрибута имеет тип

унивеосальный- вещественный.

T'SAFE_LARGE

Вырабатывает наибольшее положительное хранимое число базового типа Т. Значение этого атрибута имеет тип

универсальный - вещественный.

Кроме этого, для объекта А плавающего типа определены атрибуты A'SIZE и A'ADDRESS (см. 13.7.2). Для каждого плавающего типа существуют машинно-зависимые атрибуты, которые не относятся к модельным и хранимым числам. Они соответсвуют обозначениям атрибутовMACHINE_EMAX, MACHINE_EMIN, MACHINE_RADIX, MACHINE_MANTISSA,

MACHINE_ROUNDS и MACHINE_OVERFLOWS (см. 13.7.3).

Кроме базовых операций над плавающим типом определены операции отношения и следующие предопределенные арифметические операции: унарные и бинарные аддитивные операции - и +, мультипликативные операции » и /, унарная операция abc и операция возведения в степень.

Операции над подтипом соответствуют операциям над типом, кроме следующих: присваивания, проверки принадлежности, квалификации, явного преобразования и атрибутов первой группы; результаты этих операций переопределены в терминах подтипа.

Примечание.

Атрибуты ЕМАХ, SMALL, LARGE и EPSILON связаны с атрибутом MANTISSA следующими формулами:

Т'ЕМАХ = 4*T'MANTISSA

T'EPSILON = 2.0**(1 - T'MANTISSA)

T'SMALL = 2.0**(-Т'ЕМАХ - 1)

T'LARGE

=

2.0**Т'ЕМАХ * (1.0 - 2.0**(-T'MANTISSA))

Атрибут MANTISSA, дающий число двоичных цифр в мантиссе, сам связан с атрибутом DIGITS.

Между характеристиками модельных и хранимых чисел справедливы следующие соотношения:

T'BASE_EMAX <= T'SAFE_EMAX T'BASE_SMALL >= T'SAFE_SMALL T'BASE_LARGE <= T'SAFE_LARGE

Атрибуты T'FIRST и T'LAST не обязательно вырабатывают модельные или хранимые числа.




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