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


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


Примечание.

Если S — подтип фиксированного типа или подтипа Т, то набор модельных чисел S — это подмножество модельных чисел Т. Если для Т был задан спецификатор длины, то Т и S имеют одно и то же значение

дискрета. В

противном случае поскольку

дискрет

равен степени двух, то

дискрет

для S равен

дискрету

для Т, умноженному на неотрицательную степень двух.

Ограничение диапазона допустимо в указании фиксированного подтипа либо непосредственно за обозначением типа, либо как часть ограничения для фиксированного типа. В обоих случаях границы диапазона должны принадлежать базовому типу обозначения типа (см. 3.5).

Примеры:

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;

Ссылки:

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

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

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

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

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

Кроме того, для каждого фиксированного типа или подтипа Т базовые операции включают перечисленные ниже атрибуты.




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



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