Н. Джехани - Язык Ада (1988) (1160771), страница 126
Текст из файла (страница 126)
3.5.10). П ялвжеяяед Р'(МАВЕ(Х) Р'( АВВЕ Р'1.АЗТ Р'(.АЗТ Р '1 АЗТ(Н) Р'(.АВТ В(Т Р'ЕЕНВТН Р'1 ЕНВТН(Н) Р'МАСН(НЕ ЕМАХ Префикс Р обозначает дискретный тип или подтип. Этот атрибут представляет собой функцию с одним параметром. Факти. ческий параметр Х должен быть значением базового типа Р, Тип результата — предопределенный тип ЗТВИЧВ. Результат представляет собой образ значения Х, т. е.
последовательность символов, представляющих изображение значения. Образу целого значения соответствуют десятичный литерал без символов подчеркивания, предшествующих нулей, порядка и после. дующих пробелов, но с одним символом слева, который представляет собой либо минус, либо пробел. Образом литерала перечисления является либо соответ. ствующий идентификатор из прописных букв, либо соответствующий символьный литерал (включая два апострофа) без предшествующих и последующих пробелов. Образ символа, от. личного от графического, определяется реализацией (см. 3.5.5). Префикс Р обозначает вещественный подтип.
Вырабатывает наибольшее положительное модельное число подтипа Р. Значе. ние этого атрибута имеет универсальный вещественный тип (см. 3.5.8 и 3.5.10). Префикс Р обозначает скалярный тип или подтип скалярного типа. Вырабатывает значение верхней границы Р. Значение этого атрибута имеет тип Р (см. 3.5). Префикс Р соответствует индексируемому типу или обозначает ограниченный индексируемый подтип.
Вырабатывает значение верхней границы диапазона первого индекса. Значение атрибута имеет тип верхней границы (см. 3.6.2 и 3.8.2). Префикс Р соответствует индексируемому типу ипи обознача. ет ограниченный индексируемый подтип. Вырабатывает значе. ние верхней границы диапазона Н-го индекса. Значение этого атрибута имеет тот же тип, что и верхняя граница. Аргумент Н должен быть статическим выражением типа универсальныи целый. Значение Н должно быть положительным (ненулевым) и не превышать размерности массива (см.
3.6.2 и 3.8.2). Префикс Р обозначает компоненту записи. Вырабатывает ве. личину смещения последнего бита относительно первого кванта памяти, занимаемой этой компонентой. Величина смещения измеряется числом битов. Значение атрибута имеет тип универсальный целый (см. 13.?.2). Префикс Р соответствует индексируемому типу или обозначает ограниченный индексируемый подтип. Вырабатывает число значении диапазона первого индекса (нуль для пустого диапазона). Значение этого атрибута имеет универсальный целый тип (см. 3.6.2).
Префикс Р соответствует индексируемому типу или обозначает ограниченный индексируемый подтип. Вырабатывает число значений в диапазоне Н-го индекса (нуль дпя пустого диапазона). Значение этого атрибута имеет универсальный целый тип. Аргумент Н должен быть статическим выражением типа универсальный целый. Значение Н должно быть положитель. ным (ненулевым) и не должно превышать размерности массива (см.
3.6.2 и 3.8.2). Префикс Р обозначает плавающий тип или подтип. Вырабатывает наибольшее значение порядка машинного представления базового типа Р. Значение этого атрибута имеет универсальный целый тип (см. 13.?.3). Атяб ы, ел евонные в языке Р'МАСН(ИЕ ЕМ!И Префикс Р обозначает плавающии тип или подти)ь Вырабатывает наименьшее (наибольшее по модулю отрицательное) значе.
ние порядка машинного представления базового типа Р. Значение этого атрибута имеет универсальный целый тип (см, 13.7.3). Префикс Р обозначает плавающий тип или подтип. Вырабатывает число цифр в мантиссе машинного представления базового типа Р (цифры являются расширенными цифрами из диапа. зона 0 .. Р'МАСН1ИЕ ЯАО(Х вЂ” !). Значение этого атрибута имеет универсальный целый тип (см. 13.7.3), Р'МАСН!ИЕ МАЙТ(88А Префикс Р обозначает вещественный тип или подтип. Вырабатывает значение ТВОЕ, если каждая предопределенная операция над значениями базового типа Р либо возвращает точный результат, либо возбуждение исключения ИОМЕЯ1С..ЕЯЯОЯ при переполнении. В противном случае вырабатывает значение РАЕВЕ.
Значение этого атрибута имеет предопределенный тип ВОО(.ЕАИ (см. 13.7.3). Префикс Р обозначает плавающий тип или подтип. Вырабатывает значение основания, используемое в машинном представлении базового типа Р. Значение этого атрибута имеет тип универсальный целый (см. 13.7.3]. Р'МАСН(ИЕ ОЧЕЙГ1 ОУЧ8 Р'МАСН1ИЕ ЯАО!Х Префикс Р обозначает вещественный тип или подтип. Вырабатывает значение ТВОЕ, если каждая предопределенная ариф. метическая операция над значениями базового типа Р либо возвращает точныи результат, либо осуществляет округление.
В противном случае вырабатывает значение ЕАЕВЕ. Значение этого атрибута имеет предопределенный тип ВООЕЕАИ (см. 13.7.3). Р'МАСН1ИЕ ЙООИ08 Р'МАИТ188А Префикс Р обозначает вещественный подтип. Вырабатывает числа двоичных цифр мантиссы модельных чисел подтипа Р. (Этот атрибут вырабатывает число В, введенное в равд. 3.5.7 для плавающего типа и в равд. 3.59 для фиксированного типа.) Значение этого атрибута имеет универсальный..целый тип (см.
3.5.8 и 3.5.10). Р'РО8(Х) Р'РОЗ(Т!ОИ Префикс Р обозначает дискретный тип или подтип. Этот атрибут является функциеи с одним параметром. Фактический па. раметр Х должен быть значением базового типа Р. Тип результата — базовыи тип Р. Результатом является значение с номе. ром позиции, на единицу меньшим номера позиции для значения Х. Если Х равен Р'ВАЗЕ'Е1ЯЗТ, то возбуждается исключение СОИЗТЯА(ИТ ЕЯЯОЯ (см. 3.5.5).
Р'РЯЕО(Х) Префикс Р соответствует индексируемому типу или обознача. ет ограниченный индексируемый подтип. Вырабатывает диа. пазон первого индекса Р, т. е. диапазон Р'Е(ЯЗТ .. Р'(.АВТ. (см.3.6.2). Р'ЙАИВЕ !з-тю Префикс Р обозначает дискретный тип или подтип. Этот атрибут является функцией с одним параметром. Фактический параметр Х должен быть значением базового типа Р. Тип результата — универсальный целый.
Результатом является порядко. вый номер позиции для значения фактического параметра (см. 3.5.5) Префикс Р обозначает компоненту записи. Вырабатывает величину смещения первого кванта памяти, занятого этой компо. нентой, относительно первого кванта памяти, занимаемого за. лисью. Величина смещения измеряется числом квантов. Значе. ние этого атрибута имеет универсальный целый тип (см. 13.7.2). П яложенлед Р'ЯАМЭЕ(М) Префикс Р соответствует индексируемому типу или обознача- ет ограниченный индексируемый подтип.
Вырабатывает диа. назон М-го индекса Р, т. е. диапазон Р'Р)ЯЗТ (М) .. Р'(АВТ (М) (см. 3.6.2). Р'ВАРЕ ЕМАХ Префикс Р обозначает плавающий тип или подтип. Вырабатывает наибольшее значение порядка двоичной канонической формы хранимых чисел базового типа Р.
(Этот атрибут выра. батывает число Е, определенное в равд. 3.5.7.) Значение этого атрибута имеет универсальный целый тип (см. 3.5.8). Префикс Р обозначает вещественный тип или подтип. Выраба- тывает наибольшее положительное хранимое число базового типа Р. Значение этого атрибута имеет универсальный ве щественный тип (см. 3.5.8 и 3.5.10).
Р'ВАРЕ 1.АВВЕ Префикс Р обозначает вещественный тип или подтип. Выраба- тывает наименьшее положительное (ненулевое) хранимое чис. ло базового типа Р. Значение этого атрибута имеет универ- сальный вещественный тип (см. 3.5.8 и 3.5.10). Р'ВАРЕ 8МА(. Р'812Е Префикс Р обозначает тип или подтип. Вырабатывает минимальное число битов, необходимое реализации для представ. ленив любого возможного значения объекта типа или подтипа Р. Значение этого атрибута имеет универсальный целый тип (см. 13.7.2).
Р'812Е Префикс Р обозначает объект. Вырабатывает число битов, от- веденных для размещения объекта. Значение этого атрибута имеет универсальный целый тип (см.13.7.2). Р'ВМАЕ! Префикс Р обозначает вещественный подтип. Вырабатывает наименьшее положительное (ненулевое) число подтипа Р.
Зна. чение этого атрибута имеет универсальный вещественный тип (см. 3.5.8 и 3.5,10Х Р'ВТОВАВЕ 812Е Префикс Р обозначает ссылочный тип или подтип. Вырабаты- вает общее число квантов памяти, резервируемых для соответ- ствующего базовому типу Р набора. Значение этого атрибута имеет универсальный целый тип (см.13,7.2). Р'ЗТОЯАВЕ 812Е Префикс обозначает задачный тип или задачу.
Вырабатывает общее число квантов памяти, резервируемых для каждой активизации задачи типа Р или объекта Р задачного типа. Значение этого атрибута имеет универсальный целый тип (см. 13.7.2). Р'8ОСС(Х) Префикс Р соответствует эвдачному типу' !. Вырабатывает значение ТВОЕ, если задача Р завершена, иначе вырабатывает значение ГАЕЗЕ. Значение этого атрибута имеет предопреде.
пенный тип ВООЕЕАМ (см. 9.9). Р'ТЕВМ1МАТЕО '! Или задаче. — Прим. ред. Префикс Р обозначает дискретный тип или подтип. Этот атри. бут является функцией с одним параметром. Фактический параметр Х должен быть значением базового типа Р. Тип результата является базовым типом Р. Результат представляет собой значение с номером позиции, на единицу большим номера позиции для значения Х. Если Х равен Р'ВАЗЕ'(.АЗТ, то возбуждается исключение СОМЗТЯА)МТ ЕВВОВ (см. 3.5.5).
А нб ы и оп званные в языке Р'ЧАЕК~ Р'НАШЕ(Х) Р'УУ(ОТН Префикс Р обозначает дискретный тип или подтип. Этот атрибут является специальной функцией с одним параметром Х, который может быть любого целого типа. Тип результата является базовым типом Р. Результат представляет собой значение, чьим номером позиции является значение типа универсальный целый, и это значение соответствует Х. Если соответствующее Х универсальное целое значение не принадлежит диапазону Р'РОЗ (Р'ВАЗЕПННЗТ)..Р'РОЗ (Р'ВАЗЕ') АЗТ), то возбуждается исключение СОМЗТНА)МТ ЕЙНОЙ (см. 3.5.5). Префикс Р обозначает дискретный тип или подтип. Этот атрибут является функцией с одним параметром. Фактический параметр Х должен быть значением предопределенного типа ЗТЙ(МВ.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
