Н. Джехани - Язык Ада (1988) (1160771), страница 70
Текст из файла (страница 70)
4.5). Умножение и деление значений фиксированного типа дают результаты анонимного предопределенного фиксированного типа, который в данном стандарте называется универсальный фиксированный; точность этого типа произвольна. Значения этого типа должны быть явно преобразованы в значения некоторого числового типа. Примечание. Если 8 — подтип фиксированного типа или подтипа Т, то набор модельных чисел 8 — это подмножество модельных чисел Т. Если дпя Т бып задан спецификатор длины, то Т и 8 имеют одно и то же значение дискрета.
В противном случае поскольку дискрег равен степени двух, то дискрет для 8 равен дискрету для Т, умноженному на неотрицательную сте. пень двух. Ограничение диапазона допустимо в указании фиксированного подтипа либо непосред. ственно за обозначением типа, либо как часть ограничения для фиксированного типа. В обоих случаях границы диапазона должны принадлежать базовому типу обозначения типа (см.
3.5). Примеры: зуре ЧО)т 1е деНа 0.126 пище 0.0 .. 266.0; ееьтура ло()ан чоьтАОБ ш чоьт дшш 1,о: — диапазон,как у чоьт — Правильная дробь, требующая полного машинного слова в — дополнительном коде, может быть описана как тип рлАст)Ом: ОЕ1.: еепезаез:= 1.0/2е*64)ОЙО 1.ЕМОТН - П; Фуре ряАСТ10М Ь дева ОЕС палм -1.0 .. 1.0 - ОЕ1.; Ссылки: анонимный тип 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, принадлежит подтипу З.З, простое выражение 4.4, совместимо 3.3.2, спецификатор длины 13.2, статическое выражение 4.9, тип 3.3, указание подтипа 3.3.2, хранимое число 3.5.6, числовой тип 3. 3.5.10.
ОПЕРАЦИИ НАД ФИКСИРОВАННЫМИ ТИПАМИ Базовые операции над фиксированным типом включают присваивание, проверку принадлежности, квалификацию, явное преобразование значений других числовых типов в значения этого фиксированного типа и неявное преобразование значений типа универсальный вещественный в значение этого типа. Кроме того, для каждого фиксированного типа или подтипа Т базовые операции включают перечисленные ниже атрибуты. В этом представлении атрибутов Т ссыпается на подтип (подтип Т) для любого свойства, зависящего от ограничений, наложенных Т; другие свойства установлены в терминах базового типа Т.
Первая группа атрибутов вырабатывает характеристики подтипа Т. К этой группе относятся атрибуты ВАЗЕ (см. 3.3.3), Р(ВВТ и САЗТ (см. 3.5), атрибут представления 812Е (см. 13.7.2) и следующие атрибуты: Т'ОЕ1 ТА Вырабатывает значение дельты, заданной в определении точности фиксированного типа для подтипа Т. Значение этого атрибута имеет тип универсальный вещественный. Т'МАМТ(88А Вырабатывает число двоичных цифр в мантиссе модельных чисел подтипа Т. (Этот атрибут вырабатывает число В, см. 3.5.9.) Значение этого атрибута имеет тип универсальный целый. Т'8МА(.~ Вырабатывает наименьшее положительное (ненулевое) модельное число подтипа Т. Значение этого атрибута имеет тнп универсальный вещественный. 317 Описания и типы Т'(АЯОЕ Вырабатывает наибольшее модельное число подтипа Т.
Значение этого атрибута имеет тип универсальный ве- щественный, Т'РОНЕ Вырабатывает минимальное число символов, необходимых дпя десятичного представления целой части любого значения подтипа Т в предположении, что это представление не включает порядок, но включает один символ, который является либо знаком минус, либо пробелом.(Это минимальное число не учитывает предшествующие нули и подчеркивания и по меньшей мере равно двум.] Значение этого атрибута имеет тип универсальный целый. Вырабатывает число десятичных цифр после точки, необ. ходимых для обеспечения точности подтипа Т, если только ОЕЕТА подтипа Т не превышает 0.1, а для этого значения атрибут вырабатывает значение единицы.(Т'АРТ вЂ” это самое малое положительное целое К, для которого (10"К) Т'ОЕЕТА больше или равно единице.) Значение этого атрибута имеет тип универсальный целый. Т'АРТ Вторая группа включает следующие атрибуты, которые вырабатывают характеристики хранимых чисел: Т'ЗАРЕ ВМА().
Вырабатывает наименьшее положительное (ненулевое) хра. нимое число базового типа Т. Значение этого атрибута имеет тип универсальный вещественный. Т'ЗАРЕ (АВВЕ Вырабатывает наибольшее положительное хранимое число базового типа Т. Значение этого атрибута имеет тип универсальный вещественный. Т'1АЯОЕ = (24*ТМАМТ1$8А - 1) ь Т'ЗМАО.
ТЗАЕЕ )АЯОЕ = ГВАЗЕ'ЬАЯОЕ ТЗАЗЕ ЗМАЬЬ = Т'ВАЗЕ'ЗМАЬЬ Ссылки: арифметическая операция 3.5.5, 4.5, базовая операция 3.3.3, базовый тип 3.3, бинарная аддитивная операция 4.5, 4.5.3, граница диапазона 3.5, дельта 3.5.9, квалифицированное выражение 4.7, модельное число 3.5.6, мультипликативная операция 4.5, 4.5.5, объект 3.2, операция 3.3, операция аЬв 4.5, 4.5.6, операция отношения 4.5, 4.5.2, подтип 3.3, преобразование 4.6, присваивание 5.2, проверка принадлежности 4.5, 4.5.2, унарная аддитивная операция 4.5, 4.5.4, универсальный вещественный тип 3.5.6, универсальный целый тип 3.5.4, фиксированный тип 3.5.9, хранимое число 3.5.6, числовой тип 3.5.
3.6. ИНДЕКСИРУЕМЫЕ ТИПЫ Индексируемый объект (массив) — это составнои объект, содержащий компоненты, имеющие один и тот же подтип. В имени компоненты массива используется одно или несколько индексных значений, принадлежащих заданным дискретным типам. Значение массива — это составное значение, состоящее из значений его компонент. Кроме того, для объекта А фиксированного типа определены атрибуты А'812Е и А'АОСЙЕ88 (см. 13.7.2).
Дпя каждого фиксированного типа или подтипа Т существуют машин. но-зависимые атрибуты Т'МАСН(НЕ ВОВН08 и Т'МАСН(ЙЕ ОНЕВР(.ОУНЗ (см. 13.7.3). Кроме базовых в состав операций над фиксированным типом входят операции отношения и следующие предопределенные арифметические операции; унарные и бинарные адди. тивные операции — и +, мультиппикативные операции ° и l и операция абш Операции над подтипом — это соответствующие операции над типом, кроме следующих: присваивания, проверки принадлежности, квалификации, явного преобразования и атрибутов первой группы; результат этих операций определен в терминах подтипа.
Примечание. Значение атрибута Т'РОПЕ зависит только от диапазона подтипа Т. Значение атрибута Т'АРТ зависит только от значения Т'ОЕЬТА. Между атрибутами фиксированного ти. па существуют следующие соотношения: ЗТВ Глава 3 опеределение индексируемого типа:: = определение неограниченного индексируемого типа (определение ограниченного индексируемого типа определение неограниченного индексируемого типа::= аггау (определение подтипа индекса (, определение подтипа индекса) о! указание подтипа компоненты определение ограниченного индексируемого типа::= апау ограничение индекса о! указание подтипа компоненты определение подтипа индекса::= обозначение типа галде ( > ограничение индекса;:= (дискретный диапазон (, дискретныи диапазон)) дискретный диапазон::= указание дискретного подтипа)диапазон Массив характеризуется числом индексов (размерность массива), типом и позицией каждого индекса, верхней и нижней границами каждого индекса, а также типом и возможным ограничением компонент.
Порядок индексов существен. Для каждого возможного значения индекса одномерный массив имеет отдельную компо. ненту. Многомерный массив имеет отдельную компоненту для каждой возможной последовательности значений индексов, которая может быть образована фиксацией значений для каждой позиции индекса(в данном порядке). Возможными значениями индекса являются все значения между нижней и верхней границами включительно; этот диапазон значении называется диапазоном индекса.
Определение неограниченного индексируемого типа определяет индексируемый тип. Для каждого объекта индексируемого типа число индексов, тип и позиция казкдого индекса, а также подтип компонент будут такими, как в определении типа; значение нижней и верхней границ для каждого индекса принадлежит соответствующему подтипу индекса, кроме пустых массивов, как пояснено в равд. 3.6.1. Подгипом индекса для данной позиции индекса по определению является подтип, указанный обозначением типа соответствующего определения подтипа индекса. Составной ограничитель ( > (бокс) в определении подтипа индекса помещается для неопределенного диапазона (различные объекты данного типа не обязательно имеют одни и те же границы). Предвыполнение определения неограниченного индексируемого типа создает индексируемый тип; оно включает предвыполнение указания подтипа компонент, Определение ограниченного индексируемого типа определяет индексируемый тип и подтип этого типа: ° Индексируемый тип — это неявно описанный анонимныи тип, этот тип определен (неявно) определением неограниченного индексируемого типа, в котором указание подтипа компонвнт берется из определения ограниченного индексируемого типа и обозначение типа каждого определения подтипа индекса определяется соответствующим дискретным диапазоном.
° Индексируемый подтип — это подтип, полученный наложением ограничения индекса на индексируемый тип. Если определение ограниченного индексируемого типа дано для описания типа, то прос. тое имя, введенное этим описанием, обозначает индексируемый подтип. Предвыполнение определения ограниченного индексируемого типа создает соответствующий индексируемый тип и индексируемый подтип. При этом предвыполняются ограничение индекса и указание подтипа компонент.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
