Н. Джехани - Язык Ада (1988) (1160771), страница 115
Текст из файла (страница 115)
Ссылки: библиотечный модуль 10.1, вход 9.5, выражение 4.4, задачный модуль 9, эадачный объект 9.2, зарезервированное слово 2.9, имя 4.1, компилируемый модуль 10.1, константа 3.2.1, объект 3.2, ошибочна 1.6, пакет 7, пакет ЗУЗТЕМ 13.7, переменная 3.2.1, подпрограмма 6, понятие 3.1, прагма 2.6, предопределенный тип АООВЕЗЗ 13.7, применим 10.1.1, программныи модуль 6, простое выражение 4.4, простое имя 4.1, спецификатор совместности 10.1.1, тело задачи 9.1, тело подпрограммы 6.3, тип 3.3.
Сле и окат ы л ставления и особенности завися яе от ализа яи 135.1. ПРЕРЫВАНИЯ Спецификатор адреса для входа сопоставляет вход с некоторым устройством, которое может вызвать прерывание; такой вход в этом разделе называется входом по прерыванию.
Если прерывание сопровождается управляющей информацией, то она передается соответствующему входу по прерыванию как один или несколько параметров входа вида 1л; допустимы параметры только такого вида. Прерывание действует как вызов входа некоторой связанной с оборудованием задачи, приоритет которой выше приоритета главной программы и любых определенных пользователем задач (т.е. любой задачи, тип которой описан с помощью задачного модуля в программе).
Вызов входа может быть обычным, временным ипи условным вызовом входа в зависимости от вида прерывания и от реализации. Если оператор отбора содержит как альтернативу завершения, так и альтернативу прина. тия входа по прерыванию, то реализация может наложить некоторые дополнительные требования на отбор альтернативы завершения в дополнение к требованиям, сформулированным в равд. 9.4. Пример: 1вва !МТЕВВОРТ НАМОЬЕЯ Ь влет ООМЕ; гвг Обме вве а! 1Ео40вс — предполагается, что зузтем.А00яе88 — зто некоторыи цепыи тип ееа 1МТЕВЯОРТ НАМОЬЕВ; Примечание. Вызовы входа по прерыванию имеют только описанную выше семантику; они могут быть реализованы с помощью аппаратуры, непосредственно выполняющей соответствующие операторы принятия.
Выстраиваемые в очередь прерывания соответствуют обычным вызовам входа. Прерывания, которые теряются ипи немедленно не обрабатываются, соответствуют условным вызовам входов. Из правил приоритетов следует, что оператор принятия, выполняемый в ответ на пре. рывание, имеет более высокий приоритет, чем определенные пользователями обычные задачи, и может быть выполнен без задачи, выполняющеи планировку. Одним из возможных результатов указания спецификатора адреса для входа по прерыва. нию является спецификация (непосредственно или косвенно) приоритета прерывания.
Допустимы прямые вызовы входов по прерыванию. Ссылки: альтернатива завершения 9.7.1, альтернатива отбора 9.7.1, альтернатива принятия 9.7.1, вид 6.1, временной вызов входа 9.7.3, вход 9.5, выход входа 9.5, допустим 1.6, задача 9, оператор отбора 9.7, оператор принятия 9.5, пакет ЗУЗТЕМ 13.7, параметр подпрограммы 6.2, предопределенный тип АООЙЕ88 12.7, приоритет задачи 9.6, условный вызов входа 9.7.2. 136. ИЗМЕНЕНИЕ ПРЕДСТАВЛЕНИЯ Для данного типа и данного аспекта его представления допустимо не более одного спецификатора представления.
Поэтому если желательно другое представление, то необходимо описать второй тип, производный от первого, и для него специфицировать другое пред. ставление. Пример: РАске0 Оезсй1ртбй вяо ое5ся1ртбй — зто два различных типа с одинаковыми характеристиками, но различным представлением туре ОЕ5СЮРТОЯ 1е маете — компоненты ОЕЗСЯ)РТОВ еео вмете; 1трв РАСКЕО ОЕЗСВ1РТОй Ь пеш ОЕ5СВ1РТОЯ; 1вт РАСКЕО ОЕ5СВ1РТОВ еее марго — слецификаторы компонент для всех или некоторых компонент епе гавела Главе 18 Изменение представления может быть теперь достигнуто присваиванием с явным преоб.
разованием типа: О: ОЕБСй1РТОЯ; Р: РАСКЕО ОЕЗСй1РТОЙ; Р:= РАСКЕО ОЕЗСВ1РТОй(О); -- упаковка 0 := ОЕВСй(РТОВ(Р); -- распаковка Р 13.7. СИСТЕМНЫЙ ПАКЕТ Для каждой реализации имеется предопределенный библиотечный пакет ЗУЗТЕМ, кото. рый включает определения некоторых характеристик, зависящих от конфигурации. Специфи.
кация пакета зависит от реализации и должна быть приведена в приложении Р. Видимый раздел этого пакета должен содержать по крайней мере следующие описания; расйайе ЗУЗТЕМ 1в !уре АООЙЕЗЗ !в определен реализацией; (уре МАМЕ )в определенный реализацией перечислимого типа; ЗУЗТЕМ МАМЕ: сопв1ап( МАМЕ:=определен реализацией; ЗТОЙАОЕ 0М1Т: сопв(ап(: = определен реализацией; МЕМОЙУ 81ЕЕ: сопв!ап(: = определен реализацией; - ° зависящие от системы именованные числа: МЕМ 1МТ : сопв(ап(: = определен реализацией; МАХ 1МТ: сопв!ап1: = определен реализацией; МАХ 0161ТЗ: сопв(ап1; = определен реалиэацнеи; МАХ МАМТ)ЗЗА: сопв(ап(: = определен реализацией; Р(МЕ ОЕ(.ТА: сола!ап(: = определен реализацией; Т1СК : сола(ап(: = определен реализацией; ..
другие зависящие от системы описания; вмЫуре РЯЮЙ1ТУ (в )МТЕВЕЙ гапбе определен реализацией; епд ЗУЗТЕМ; Тип АООЙЕЗЗ вЂ” это тип адресов, задаваемых спецификаторами адреса; к этому же типу принадлежат значения, вырабатываемые атрибутом АООЙЕЗЗ. Значения перечислимого типа МАМŠ— это имена альтернативных машинных конфигураций, обрабатываемых реализацией; одно из них — константа ЗУЗТЕМ МАМЕ. Именованное число 8ТОЙАОЕ 0М1Т равно числу разрядов в кванте памяти, а именованное число МЕМОЙУ 8)ЕŠ— числу квантов памяти, доступных в конфигурации; эти именованные числа имеют универсальный целый тип.
Альтернативная форма пакета ЗУЗТЕМ с другими значениями ЗУЗТЕМ МАМЕ, ЗТОВАОЕ 0М1Т и МЕМОЙУ 8(ЕЕ может быть получена использованием соответствующих прагм. Эти прагмы допустимы только в начале компиляции до первого компилируемого модуля (если он есть) компиляции.
ргадгпа ЗУЗТЕМ МАМЕ (литерал перечисления); В результате выполнения этой прагмы заданныи идентификатором литерал перечисления будет использован для определения константы ЗУЗТЕМ МАМЕ. Эта прагма допустима, только если этот идентификатор соответствует одному из литералов типа МАМЕ. ргайгпа ВТОЙАОЕ 0М1Т (числовой литерал); В результате выполнения этой прагмы заданное числовым литералом значение будет ис. польэовано дпя определения именованного числа ЗТОЙАОЕ 0М1Т. ргайгпа МЕМОЙУ 8)ЕЕ (числовой литерал); В результате выполнения этой прагмы заданное числовым литералом значение будет ис. пользовано для определения именованного числа МЕМОЙУ 8(ЕЕ. Компиляция любой из этих прагм вызовет неявную перекомпиляцию пакета ЗУЗТЕМ.
Следовательно, любой компилируемый модуль, в спецификаторе контекста которого упоминается пакет ЗУЗТЕМ, становится устаревшим. Реализация может ввести дополнительные ограничения на использование этих прагм. Например, реализация может допустить их только в начале первой компиляции, когда создается новая программная библиотека. Сп ке ы теелелла л оеобеллоетя авалея ет шо 465 Примечание.
Согласно правилам видимости, описание из пакета 8УВТЕМ видимо в комли. лируемом модуле только в том случае, если этот пакет упомянут в спецификаторе совместности, примененном (непосредственно или косвенно) к данному компилируемому модулю.
Ссылки: атрибут 4.1.4, библиотечный модуль 10.1, видимость 8.3, видимыи раздел 7.2, дол. жен 1.6, идентификатор 2.3, именованное число 3.2, компилируемый модуль 10.1, литерал перечисления 3.5.1, описание 3.1, описание числа 3.2.2, пакет 7, перечислимый тип 3.5.1, прагма 2.8, применим 10.1.1, программная библиотека 10.1, спецификатор адреса 13.5, спецификатор совместности 10.1.1, спецификация пакета 7.1, тип 3.3, числовой литерал 2.4.
13.7Л. ЗАВИСЯЩИЕ ОТ СИСТЕМЫ ИМЕНОВАННЫЕ ЧИСЛА Перечисленные ниже именованные числа описаны в пакете 8УВТЕМ. Числа Г(МЕ ОЕЕТА и Т(СК принадлежат универсальному вещественному типу, остальные — универсальному целому типу. М(Н 1ЙТ Наименьшее (наибольшее по модулю отрицательное) значение из всех определенных целых типов. МАХ 1НТ Наибольшее (положительное) значение из всех предопределенных це. лых типов. МАХ О!О!78 Наибольшее допустимое значение числа значащих десятичных цифр в ограничении для плавающего типа.
МАХ МАНТ188А Наибольшее возможное число двоичных цифр в мантиссе модельных чисел фиксированного подтипа. Р!НЕ 0Е1.ТА Наименьшая дельта, допустимая в ограничении для фиксированного типа, которое имеет ограничение диапазона — 1.0..1.0. Т(СК Базовый период времени, выраженный в секундах. Ссылки: дельта из ограничения фиксированного типа 3.5.9, допустим 1.6, именованное число 3.2, модельное число 3.5.6, ограничение диапазона 3.5, ограничение для плавающего типа 3.5.7, ограничение для фиксированного типа 3.5.9, пакет 7, пакет 8УВТЕМ 13.7, тип З.З, универсальный вещественныи тип 3.5.6, универсальный целый тип 35.4, целыи тип 3.5.4. 13.7.2. АТРИБУТЫ ПРЕДСТАВЛЕНИЯ Значения некоторых зависящих от реализации характеристик могут быть определены с помощью соответствующих атрибутов представления.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
