Н. Джехани - Язык Ада (1988) (1160771), страница 125
Текст из файла (страница 125)
Глава 14 14.$. СПЕЦИФИКАЦИЯ ПАКЕТА ИСКЛЮЧЕНИЙ ВВОДА. ВЫВОДА В этом пакете определены исключения, необходимые для работы пакетов ЗЕООЕНТ(А1. Ю, О)ВЕСТ Ю и ТЕХТ Ю. Рашик)е Ю ЕХСЕЯТ!ОМЗ 1 ° апе Ю ЕХСЕЯТ10МЗ; 14.6. ВВОД. ВЫВОД НИЗКОГО УРОВНЯ Операция ввода-вывода низкого уровня — это операция, выполняющаяся на физическом устройстве.
Для выполнения таких операций используется одна из (совмещенных) предопредепенных процедур ЗЕМО СОМТЙОЕ и ВЕСЕ)ЧЕ СОМТЙ01.. Процедура ЗЕМО СОМТЙОЕ может быть использована для посылки управляющей информации физическому устройству. Процедура ВЕСЕ(ЧЕ СОМТЙОЕ может быть использована для организации выполнения операции ввода-вывода, связанной с запросом информации от физического устройства. Эти процедуры описаны в стандартном пакете ЕОУУ ЕЕЧЕЕ Ю.
Каждая из них имеет два параметра, задающие устройство и данные. Однако сорт и формат управляющей информации зависят от физических характеристик машины и устройств; поэтому типы параметров зависят от реализации. Возможно определение совмещенных подпрограмм, управляющих различными устройствами. Видимый раздел пакета, определяющего такие процедуры, имеет следующую стРуктуРу: Иасавве ЬОУУ ЬЕЧЕ~ Ю )а -- описания возможных типов параметров ОЕЧ)СЕ и ПАТА -- описания совмещенных процедур над такими типами; рюсееике земб сомтйоь (реу)се: тил устройства; олтл: )п см тнп данных); рикмеиге ЙесЕ1че сбмтВ01. (Оеч)се: тнп устройства; РАТА: 1п ои) гил данных); епс: Тела процедур ЗЕМО СОМТЙОЕ и ВЕСЕ)ЧЕ СОМТЯОЕ для различных устройств могут быть размещены в теле пакета ЕОЧЧ ЕЕЧЕЕ 'Ю, Эти тела процедур могут быть записаны операторами кода. 14.7.
ПРИМЕР ВВОДА ВЫВОДА В примере показано использование некоторых средств ввода-вывода текстов в режиме диалога. Пользователю предлагается выбрать цвет; программа в соответствии с описью выдает число предметов этого цвета на складе. Используются файлы авода и вывода по умолчанию. Для простоты все необходимые конкретизации настройки заданы в одной подпрограмме; на практике для этого мог бы использоваться самостоятельный пакет. мал ТЕХТ Ю; иве ТЕХТ Ю; ргссвдим 0)АЬОЗОЕ )в туре СОЬОВ (в РМН)ТЕ, НЕО, ОВАМОЕ, УЕЬЬОУЧ, ОВЕЕМ. ВЬОЕ. ЗНОИ)М); Ивсьазе СОЬОН Ю 1 ° пми ЕМОМЕНАТЮМ Ю(ЕМОМ а> СОЬОй); явсьеее МОМВЕЯ Ю )в ими )МТЕЗЕН ЮЙМТЕЗЕВ); ава СОЬОЯ 10, МОМВЕЯ 10; ЛЧЧЕМТОЯУ: апау (СОЬОЯ) с( )МТЕЗЕН: (20, 17, 43.
1О, 2З. 173, 37); СНО)СЕ: С01.0Я; ЗТАТОЗ Еййбй МОРЕ ЕВЙОН МАМЕ ЕЯЙОН ОЗЕ ЕЯНОВ ОЕЧ1СЕ ЕВЯОН ЕМО ЕВВОВ ОАТА ЕЙЯОН 1.АУООТ ЕВВОВ : ЕКСЕ)И)ии! : ексепвсп; ексерлсп; : ексерееп; : ексеявсп; : ексеалсп; : ексевееп; : ексаивси; Вв выво рговевпге ЕМТЕЛ С01.0й (ЗЕ[.ЕСТЮМ: аги СОьоя[ 1а Ьев[п мор Вар[а РОт ("со[от ве1встае: "1; — обращение к пользователю бет (зеьестюМ; — вводит набранный цвет или возбуждает исключение пиепг; васврвоп иввп ОАТА ЕЛЗОЗ А> РОтГьввев со[от, пу вва[п. 1: — пользователь должен набрать новую строчку МЕТУ ОМЕ(21; -- завершение выполнения оператора блока епе; евь 1оор; — повторение оператора блока, пока не будет получен лравильнй цвет впв; в~ВЫ вЂ” опеРатоРы лРоЦеДУОы О[АЬОООЕ; МОМВЕЛ Ю.ОЕРАОьт ЧУ[ОТН:= З; емтея сОьОЗ(снО[се1; — пользователь набирает цвет и — начинает новую строчку ЗЕТ СОЦШ; РОТ(ОНО[СЕ[; РОТ(" негев ачаламег[; ЗЕТ СОЦ401; РОТ[1МУЕМТОЯУ[СН01СЕШ вЂ” ширина ло умолчанию равна 5 МВМ ОМЕ; мп[ 1пор; впе 0[АЬОООЕ; Пример диалога (набранное пользователем выделено курсивоиу ВЫБРАННЫЙ ЦВЕТ: В(ас(г ОШИБОЧНЫЙ ЦВЕТ, ПОВТОРИТЕ НАБОР ВЫБРАННЫЙ ЦВЕТ: В(ие В[А(Е ВСЕГО ПРЕДМЕТОВ: 173 ВЫБРАННЫЙ ЦВЕТ: Телом УЕЕЕОУУ ВСЕГО ПРЕДМЕТОВ: 10 Приложение А АТРИБУТЫ, ПРЕДОПРЕДЕЛЕННЫЕ В ЯЗЫКЕ Р'АООВЕ88 Р'АРТ Р'ВАЗЕ Р'САН.АВ~Е Р'СОМВТВА(МЕО Р'СОМЗТВА(МЕО Префикс Р обозначает объект, программныи модуль, метку или вход.
Вырабатывает адрес' первого кванта памяти, отве. денной под Р. Для подпрограммы, пакета, задачи или метки это значение ссылается на машинный код, связанный с соответствующим телом или оператором. Для входа, дпя которого задан спецификатор адреса, это значение ссыпается на соответствующее аппаратное прерывание. Значение этого атрибута имеет предопределенный в пакете 878ТЕ)4 тип АООВЕ88 (см. 13,7.2).
Префикс Р обозначает фиксированный подтип. Вырабатывает число десятичных цифр после точки, необходимых для обеспечения точности подтипа Р, если только атрибут ОЕЕТА под. типа Р не превышает 0.1, в этом случае атрибут вырабатывает значение единицы. (Р'АРТ вЂ” это наименьшее положительное число М, для которого (10 *. М)*Р'ОЕ(.ТА больше или равно 1.) Значение этого атрибута имеет универсальный целый тип (см. 3.5.10).
Префикс Р обозначает тип или подтип. Этот атрибут обозначает базовый тип Р и может быть только префиксом имени другого атрибута, например Р'ВАЗЕ'Р(ВВТ (см. 3.3.3). Префикс Р— это объект задачного типа. Вырабатывает значение РАЕВЕ, когда выполнение задачи Р либо закончено, ли. бо завершено, либо задача находится в авариином состоянии. В остальных случаях вырабатывает значение ТВОЕ. Значение этого атрибута имеет предопределенный тип ВООЕЕАМ (см. 9.9). Префикс Р обозначает объект некоторого типа с дискриминантами.
Вырабатывает значение ТВОЕ, если ограничение дис. крнминантов наложено на объект Р или если объект — коне. танта (включая формальный параметр или формальный пара. метр настройки вида!и). В остальных случаях вырабатывает значение РАЕЗЕ, Если Р— формальный параметр настройки вида )п оц( или если Р— формальный параметр вида )п ом( или ом(, а обозначение типа, заданное в соответствующей спе. цификации параметра, обозначает неограниченныи тип с дис. криминантами, то значение этого атрибута получается из зна.
чения атрибута соответствующего фактического параметра. Значение атрибута имеет предопределенный тип ВООЕЕАМ (см. 3 7.4). Префикс Р обозначает личныи тип или подтип. Вырабатывает значение РАЕЗЕ, если Р обозначает неограниченный неформальный личный тип с дискриминантами; вырабатывает это же значение, если Р обозначает настраиваемый формальный личный тип, а соответствующий фактический подтип — это либо неограниченный тип с дискриминантами, либо неограниченный индексируемый тип. В остальных случаях вырабатывается значение ТВОЕ.
Значение этого атрибута имеет предопре. деленный тип ВООСЕАМ (см. 7.4.2). А яб ы, л ол еленине в язъ!ке Р'СООМТ Префикс Р обозначает вход задачи. Вырабатывает число вызо. вов входа, присутствующих в очереди этого входа, (если атри. бут вычисляется внутри оператора принятия входа Р, то в это число не входит вызывающая задача). Значение этого атрибута имеет универсальный целый тип (см. 9.9). Р'ОЕ1 ТА Префикс Р обозначает фиксированныи подтип. Вырабатывает значение дельты, заданной в определении точности фиксированного типа для подтипа Р. Значение этого атрибута имеет универсальный вещественный тип (см.
3.5.10) Р'О!Э!ТВ Префикс Р обозначает плавающий подтип. Вырабатывает число десятичных цифр в десятичной мантиссе модельных чисел подтипа Р.(Этот атрибут вырабатывает число О, определенное в равд. 3.5.7.) Значение этого атрибута имеет универсальный целый тип (см. 3.5.8). Р'ЕМАХ Префикс Р обозначает плавающий подтип. Вырабатывает наибольшее значение порядка двоичной канонической формы модельных чисел подтипа Р.(Этот атрибут вырабатывает произведение 4.В.) Значение этого атрибута имеет универсальный целый тип (см.
3.5.8). Р'ЕРЗ! ОМ Префикс Р обозначает плавающий подтип. Вырабатывает абсолютное значение разности между модельным числом 1.0 и следующим модельным числом подтипа Р. Значение этого атрибута имеет универсальный вещественный тип (см. 3.5.8). РЦЩВЗТ Префикс Р обозначает скалярный тип или подтип скалярного типа. Вырабатывает значение нижнеи границы Р. Значение этого атрибута имеет тип Р (см. 3.5). Р'Е!ВЗТ Префикс Р соответствует индексируемому типу или обозначает ограниченный индексируемый подтип. Вырабатывает значение нижнеи границы диапазона первого индекса.
Значение этого атрибута имеет тот же тип, что и тип значения нижней границы (см. 3.6.2 и 3.8.2). Р'Е(ВЗТ(М) Префикс Р соответствует индексируемому типу или обозначает ограниченный индексируемыи подтип. Вырабатывает значение нижней границы диапазона М-го индекса. Значение этого атрибута имеет тот же тип, что и указанная нижняя граница. Аргумент М должен быть статическим выражением типа универсальный целый.
Значение М должно быть положитель. ным (ненулевым) и не превосходить размерности массива (см. 3.6.2 и 3.8.2). Р'Е!ВЯТ В)Т Префикс Р обозначает компоненту записи. Вырабатывает величину смещения первого бита относительно начала первого кванта памяти, занимаемой этой компонентой. Величина смещения измеряется числом битов. Значение этого атрибута имеет тип универсальный целый (см. 13.7.2). Р'ЕОВЕ Префикс Р обозначает фиксированный подтип. Вырабатывает минимальное число символов, необходимых для десятичного представления целой части любого значения подтипа Р в предположении, что это представление не включает порядок, но включает односимвольныи префикс, который является либо знаком минус, либо пробелом.(Это минимальное число не учитывает предшествующие нули и символы подчеркивания и по меньшей мере равно двум.) Значение этого атрибута имеет УнивеРсальный целый тип (см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
