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




Примечание 4





type VOLT is delta 0.125 range 0.0 .. 255.0; subtype ROUGH_VOLTAGE is VOLT delta 1.0; — диапазон, как у VOLT-- Правильная дробь, требующая полного машинного слова в -- дополнительном коде, может быть описана как тип FRACTION:DEL : constant := 1.0/2**(WORD_LENGTH - 1); type FRACTION is delta DEL range -1.0 .. 1.0 - DEL;

Ссылки: анонимный тип 1, арифметическая операция 5, 4.5, базовый тип 3.3, вещественный тип 6, граница диапазона 3.5, граница ошибки 6, модельное число 6, обозначение типа 2, ограничение диапазона 3.5, операция 3.3, описание подтипа 2, описание типа 1, определение вещественного типа 6, подтип 3.3, предвыполнение 3.9, предопределенная операция 4.5, преобразование 4.6, принадлежит подтипу 3.3, простое выражение 4.4, совместимо 2, спецификатор длины 13.2, статическое выражение 4.9, тип 3.3, указание подтипа 2, хранимое число 6, числовой тип 3.

10. ОПЕРАЦИИ НАД ФИКСИРОВАННЫМИ ТИПАМИ

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

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

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

T'DELTA

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

T'MANTISSA

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

T'SMALL

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

T'LARGE

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

T'FORE

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

T'AFT

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

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

T'SAFE_SMALL

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

T'SAFE_LARGE

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

Кроме того, для объекта А фиксированного типа определены атрибуты A'SIZE и A'ADDRESS (см. 2). Для каждого фиксированного типа или подтипа Т существуют машинно-зависимые атрибуты T'MACHINE_ROUNDS и T'MACHINE_OVERFLOWS (см. 3).

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

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

. Значение атрибута T'FORE зависит только от диапазона подтипа Т. Значение атрибута T'AFT зависит только от значения T'DELTA. Между атрибутами фиксированного типа существуют следующие соотношения:

T'LARGE = (2**Т'MANTISSА - 1) * T'SMALL T'SAFE_LARGE = T'BASE'LARGE T'SAFE_SMALL = T'BASE'SMALL

Ссылки: арифметическая операция 5, 4.5, базовая операция 3, базовый тип 3.3, бинарная аддитивная операция 4.5, 3, граница диапазона 3.5, дельта 9, квалифицированное выражение 4.7, модельное число 6, мультипликативная операция 4.5, 5, объект 3.2, операция 3.3, операция abs 4.5, 6, операция отношения 4.5, 2, подтип 3.3, преобразование 4.6, присваивание 5.2, проверка принадлежности 4.5, 2, унарная аддитивная операция 4.5, 4, универсальный вещественный тип 6, универсальный целый тип 4, фиксированный тип 9, хранимое число 6, числовой тип









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



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