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


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


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

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

T'DELTA

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

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

T'MANTISSA

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

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

T'SMALL

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

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

T'LARGE

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

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

T'FORE

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

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

T'AFT

Вырабатывает число десятичных цифр после точки, необходимых для обеспечения точности подтипа Т, если только DELTA подтипа Т не превышает 0.1, а для этого значения атрибут вырабатывает значение единицы. (T'AFT — это самое малое положительное целое К, для которого (10«*К)*Т'ОЕ1ТА больше или равно единице.) Значение этого атрибута имеет тип

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

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

T'SAFE_SMALL

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

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

T'SAFE_LARGE

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

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

<




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



Книжный магазин