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


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


3.5.8. ОПЕРАЦИИ НАД ПЛАВАЮЩИМИ ТИПАМИ

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

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

в значения этого типа.

Кроме того, для каждого плавающего типа или подтипа Т базовые операции включают перечисленные ниже атрибуты. В этом представлении Т — это подтип (подтип Т) для любого свойства, зависящего от наложенных на Т ограничений; другие свойства формулируются через базовый тип Т.

Первая группа атрибутов вырабатывает характеристики подтипа Т. К атрибутам этой группы относятся атрибут ВАSЕ (см. 3.3.3), атрибуты FIRST и LAST (см. 3.5), атрибут представления SIZE (см. 13.7.2), а также следующие атрибуты:

T'DIGITS

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

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

T'MANTISSA

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

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

T'EPSILON

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

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

T'EMAX

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

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

T'SMALL

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

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

T'LARGE

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

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

Атрибуты второй группы вырабатывают характеристики хранимых чисел и включают следующие атрибуты:




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