Н. Джехани - Язык Ада (1988) (1160771), страница 123
Текст из файла (страница 123)
лученное значение не принадлежит подтипу ЙОМ, то возбуждается исключение ОАТА ЕЙЙОРЕ 1ИОСЕ7йнв РОТ(ТО: о7И ЗТЙ1М6; 1ТЕМ: 1в ЙОМ; ВАЗЕ: 1п ЙОМВЕЙ ВАЗЕ:= ОЕРАОЬТ ВАЗЕ); Через параметр ТО выводит значение параметра (ТЕМ по тем же правилам, что и при выводе в файл; в качестве значения параметра ЮЛОТН используется длина указанной строки. 17* Т"лввв 14 Примерьс Раавава 1МТ Ю М пем 1МТЕОЕЯ 10!ВМАЬ 1МТ!; аае 1МТ)0; -- в результате конкретизации — получается формат по умолчанию: --ОЕРАЦьт ЧЧ1ОТН = 4, ОЕРАцьт ВАЗЕ = 10 "Ы 26" ЬЬЬ-126" "ЬЬЬ2№111! 110№г РОТ!1261; РОТ(-12В, 71; РОТ(126, ЧЧ)ОТН > 13, ВАЗЕ > 2); Ссылки: десятичнын литерал 2.4.1, исключение ОАТА ЕВВОВ 14.4, исключение (АУООТ ЕВВОВ 14.4, литерал с основанием 2.4.2, пакет )МТЕОЕВ Ю 14.3.10, параметр ЧЧ(ОТН 14.3.5, подтип Е1ЕЕО 14.3.5, признак конца строчки 14.3, пропуск 14.3.5, просмотреть 14.3.5, про.
цедура ОЕТ 14.3.5, процедура РОТ 14,3.5, тип Е( Е ТУРЕ 14.1, целый литерал 2.4. 14.3.8. ВВОД-ВЫВОД ДЛЯ ВЕЩЕСТВЕННЫХ ТИПОВ Следующие процедуры определены в настраиваемых пакетах ЕЕОАТ !О и Е(ХЕО Ю, кот!> рые должны быть конкретизованы с соответствующим плавающим или фиксированным типом (указанным в спецификации параметром МОМ). Значения выводятся как десятичные литералы без подчеркиваний.
Формат каждого выво. димого значения состоит из поля ЕОВЕ, десятичной точки, поля АЕТ, а также (при ненулевом значении параметра ЕХР) буквы Е и поля ЕХР. Таким образом, возможны два формата: РОЯЕ . АРТ РОЯЕ . АРТ Е ЕХР без всяких пробелов между этими полями. Попе ЕОВЕ может включать предшествующие пр!> белы и знак минус для отрицательных значений. Поле АЕТ состоит из одних лишь десятичных цифр (оно может оканчиваться нулями). Поле ЕХР состоит нэ знака (плюс или минус) и порядка (возможно, с предшествующими нулями). Для плавающих типов длины этих полеи по умолчанию определены переменными, спи. санными в пакете Е1.ОАТ Ю; ОЕРАЦЬТ РОЯЕ: Р1ЕЬО;= 2; ОЕРАЦЬТ ~РТ: Е1ЕЬО:= МОМ'010(ТЗ-1; ОЕРАЦЬТ ЕХР: ЙЕЬО: 3; Для фиксированных типов длины по умолчанию для этих попей задаются переменными, описанными в пакете Е(ХЕО Ю: ОЕРАЦЕТ РОЯЕ: Р!Еьр:= МЦМ'РОЯЕ; ОЕРАЦЬТ АРТ; Р(ЕЬО:= МОМ'АЕТ; ОЕРАОЬТ ЕХР: Р1Е1.0:= 0; Определены следующие процедуры: разамаиа Оет!Все: (я щье туре; !тем; мп мцм; чч10тн: 1я ще1.0 .= 01; Разаайие ОЕТЯТЕМ: ааз МЦМ; ЧЧ(ОТН: )я ВЕЬО:= 0); При нулевом значении параметра ЧЧ(ОТН опускают все ведущие пропуски, признак конца строчки ипи признак конца страницы, читают знак плюс или минус(если он есть);затем прои> водят чтение в соответствии с синтаксисом вещественного литерала (он может быть литералом с основанием).
При ненулевом значении параметра МДОТН вводят или ровно ЧЧ(ОТН сим. волов, или, если раньше встретился признак конца строчки,лишь символы, читаемые до этого признака конца (возможно, ни одного символа); в это количество включаются и все предшествующие пропуски. Через параметр !ТЕМ возвращают значение типа МОМ, соответствующее введенной последовательности. Если введенная последовательность не удовлетворяет требованиям синтаксиса ипи если полученное значение не принадлежит подтипу МОМ, то возбуждается исключение ОАТА ЕВВОВ. Ва выао 477 ргосейиа РОТ(Е!ЬЕ: (и НЕЕ ТЧРЕ; !ТЕМ: ЫЧОМ; ГОЙЕ: )и Е!ЕЬО: ОЕГАОЬТ ГОЙЕ; АГТ: 1и Е!ЕЬО:= ОЕГАОст АЕТ; ЕХР: М Г!Еь0: ОЕГАОст ЕХР); ромасиса РОТ((ТЕМ: ЫЧОМ; ГОЙЕ: !и Е!ЕЬО:= ОЕЕАОЬТ ГОЙЕ; АГТ: )и Е(ЕЬО:= ОЕЕАО(Т АЕТ; ЕХР: 1и Е(ЕЬО .
ОЕЕАОЬТ ЕХР); Выводят значение параметра 1ТЕМ в виде десятичного литерала в формате, определяемом параметрами ГОВЕ, АГТ и ЕХР. Если значение )ТЕМ отрицательное, то в целую часть включен знак минус. При нулевом значении параметра ЕХР целая часть представляется таким количеством цифр, которое требуется для представления целой части значения )ТЕМ. При необходимости значение ГОНЕ игнорируется. Если в значении 1ТЕМ нет целой части, то целая часть представляется цифрой О. Если значение ЕХР больше нуля, то целая часть представляется одной цифрой, отличной от нуля, за исключением случая, когда значение 1ТЕМ равно 0.0.
8 обоих случаях, если целая часть, включая знак минус, содержит менее ГОНЕ символов, она дополняется до этого количества ведущими нулями. Дробная часть состоит из АГТ цифр или лри АЕТ, равном нулю, из одной цифры. Значение округляется; остаток, равный половине последнего разряда, может быть округлен как с избытком, так и с недостатком. При нулевом значении ЕХР число выводится без порядка. Если ЕХР больше нуля, то лри выводе порядка выводится столько цифр, сколько необходимо для представления порядка значения (ТЕМ (для представления целой части этого значения используется один символ); первым символом является знак плюс или минус.
Если для представления порядка, включая знак, используется менее ЕХР символов, то это представление дополняется до требуемого ко. личества символов ведущими нулями. Для значения (ТЕМ, равного 0.0, порядок равен нулю. ргосейпе ОЕТ(ЕЙОМ: (и ЗТЙ(М01 !ТЕМ: оис ЯОМ; (АЗТ; оес Р051Т(ЧЕ); Читает с начала строки, заданной параметром ГНОМ, вещественное значение ло тем же лравилам, что и процедура 8ЕТ, читающая вещественное значение из файла; лри этом конец строки рассматривается как признак конца файла. Через параметр (ТЕМ возвращает значение типа Е(ОМ, соответствующее введенной последовательности.
Через параметр (АЗТ возвращает значение индекса, соответствующее последнему читаемому символу(следовательно, этот символ имеет значение индексируемой компоненты ГНОМ (ЕАЗТ)). Если введенная последовательность не соответствует правилам синтаксиса или если полученное значение не принадлежит лодтилу Е(ОМ, то возбуждает исключение ВАТА ЕННОН. римесиго РОТ(ТО: оиг 5ТЙ!МО; ГГЕМ: 1п МОМ! АГТ: М ВЕЕО: ОЕГАОЬТ АЕТ; ЕХР: !и !ИТЕОЕЙ:= ОЕЕАОЬТ ЕХР); Через параметр ТО выводит значение параметра 1ТЕМ ло тем же правилам, что и лри выводе в файл; лри этом в качестве ГОНЕ использует такое значение, чтобы общее число выводимых символов, включая предшествующие пробелы, соответствовало длине строки параметра ТО. Примеры: раси!Ее ЙЕА1 ГО (с иота Е1.0АТ 10(ЙЕАО; еае ЙЕА1 10: -- в результате конкретизации -- получается формат ло умолчанию:оееяиьт ехр = 3 х; ЙеАЬ:= -123.4557: -- 8 цифр (см. 3.5.7) РОТ(Х); -- формат ло умолчанию "-1.2345570Е+02 РОТ(Х, ГОЙЕ => 5, АЕТ => 3, ЕХР => 2); — "ЬЬЬ-!.235Ео2" РОТ(Х.
5. 3. О); — Ь-\23.457" Примечание. Если положительное число, выводимое процедурой РОТ в строку, заполняет строку целиком, без использования ведущих пробелов, то лри выводе такого же отрицательно. го числа будет возбуждено исключение (АУООТ ЕННОН. Глава М Ссылки: атрибут АГТ 3.5.10, атрибут ГОЙЕ 3.5.10, вещественный питерап 2.4, десятичный литерал 2.4.1, признак конца строчки 14.3.5, исключение ВАТА ЕЙЙОЙ 14.4, исключение (АУООТ ЕЙЙОЙ 14.4, питерап с основанием 2.4.2, пакет Г(ХЕО Ю 14.3.10, пакет ГЕОАТ Ю 14.3.10, параметр ЧЧ!ОТН 14.3.5, подтип Г!ЕЕО 14.3.5, пропуск 14.3.5, просмотреть 14.3.5, процеду.
ра 6ЕТ 14.3.5, процедура РОТ 14.3.5, тип Г! Е ТУРЕ 14.1. 14.3.9. ВВОД-ВЫВОД ДЛЯ ПЕРЕЧИСЛИМЫХ ТИПОВ Описанные ниже процедуры определены в настраиваемом пакете ЕМОМЕЙАТЮМ Ю, ко. торый должен быть конкретизован с соответствующим перечиспимым типом (указанным в спе. цификации параметром настройки ЕМОМ).
При выводе значений дпя представпения идентификаторов используются либо строчные, либо прописные буквы. Это задается параметром ЗЕТ, который принадлежит перечиспимому типу ТУРЕ ЗЕТ: 1ЧРЕ ТУРЕ ЗЕТ Ы (сОЧЧЕЙ САЗЕ, ОРРЕй САЗЕ); Формат (в который вкпючаются и закпючитепьные пробелы) может быть задан необязатепьным параметром ширины попа. Ширина поля по умопчанию и представпение букв задаются описанными в настраиваемом пакете ЕМОМЕЙАТЮМ Ю переменными: ОЕРАОЬТ ЧЧ10ТН: ЙЕ1.0:= О; 0ЕРАОЬТ ЗЕТТ1М6: ТУРЕ ЗЕТ: ОРРЕЙ САЗЕ; Определены следующие процедуры: ргосейеа 6ЕТ(Р!ЬЕ: (е ЙЬЕ ТУРЕ; (ТЕМ: осз ЕМОМ); рсосайие 6ЕТЗТЕМ: сот ЕМОМ1; После игнорирования предшествующих пропусков, признака конца строчки и признака конца страницы читают ипи идентификатор (строчные и прописные буквы считаются эквивапентными), ипи символьный литерал (вкпючая апострофы); чтение производится в соответствии с синтаксисом соответствующих лексем.
Через параметр 1ТЕМ возвращают значение, соответствующее введенной поспедоватепьности. Еспи введенная поспедоватепьность не удовлетворяет правилам синтаксиса ипи если идентификатор ипи символьный питерап не соответствуют никакому значению подтипа ЕМОМ, то возбуждается исключение ОАТА ЕЙЙОЙ. ргосасом РОТ(ЙЬЕ: Ы РЦ.Е ЛУРЕ; (ТЕМ: (с ЕМОМ; ЧЧ!0ТН: 1е ЙЕ1.0: ОЕРАОст ЧЧ)ОТН: ЗЕТ: 1с ТУРЕ ЗЕТ;= 0ЕРАОЬТ ЗЕТПМ6): ргосейне РОТ(1ТЕМ: Ь ЕМОМ; ЧЧ(ОТН; 1е Р1ЕЬ0;= ОЕЕАОЬТ ЧЧ10ТН: ЗЕТ: !я ТУРЕ ЗЕТ:= ОЕГАО1.Т ЗЕТГ!М61; Выводят значение параметра !ТЕМ как литерал перечиспения (пибо идентификатор, вибо символьный питерап). Необязатепьный параметр ЗЕТ указывает, какие буквы — строчные ипи прописные — спедует испопьзовать дпя представпения идентификаторов (дпя символьных питерапов он игнорируется). Если число выводимых символов меньше значения параметра ШЛОТН, то после них выводятся пробепы, допопняющие число симвопов до ЧЧ!ОТН.
Ргосайна 6ЕТ(РЙОМ: 1Я ЗТЙ1Н6; !ТЕМ: оос ЕМОМ; !АЗУ: оог РОЗ1Т(ЧЕ): Читает с начапа строки, заданной параметром ГЙОМ, значение перечиспимого типа по тем же правилам, что и процедура 6ЕТ, читающая значение перечиспимого типа из файла; при этом конец строки рассматривается как признак конца файпа. Через параметр (ТЕМ возвращает значение типа ЕМОМ, соответствующее введенной поспедоватепьности. Через пара.
метр ЫЗТ возвращает значение индекса, соответствующее последнему читаемому символу (спедоватепьно, этот симвоп имеет значение индексируемой компоненты ГЙОМ ((АЗТ)) Еспи введенная поспедоватепьность не соответствует правилам синтаксиса ипи если идентификатор ипи символьный литерал не соответствуют никакому значению подтипа ЕМОМ, то возбуждает искпючение ВАТА ЕЙЙОЙ.
В .вы Ргссоанга РОТ(ТО: сн! ЗТЯ)М6; 1ТЕМ г )и ЕМЦМ: ЗЕТ: 1и ТУРЕ ЗЕТ:= ОЕРАОЬТ ЗЕТПМО); Выводит в строку, заданную параметром ТО, значение параметра )ТЕМ по тем же правилам, что и при выводе в фаил; в качестве значения параметра ЧЧ10ТН используется длина указанной строки. Хотя спецификация пакета ЕМОМЕЙАТЮМ Ю допускает конкретизацию с соответствующим целым типом, это не является целью данного пакета; язык не определяет результата та. кой конкретизации. Примечание.
Процедуры РОТ для символов и для перечислимых значений имеют определенные различия: ТЕХТ О.рот['А'); — выводит символ А ргкмгаа СНАЯ 1О Ь пек ТЕХТ [О.ЕМОМЕЯАТ10М Ю[СНАНАСТЕЯ); СНАй Ю.РОТ(А); — выводит символ 'А', заключенный в одинарные кавычки 14.3.10.
СПЕЦИФИКАЦИЯ ПАКЕТА ВВОДА-ВЫВОДА ТЕКСТА вп!Ь 1О ЕХСЕРТЮМЗ; рвсйаев ТЕХТ Ю М !Уре рл.е туРе (в впв!аа ргьа!е; Пгре РЛ.Е МООЕ М НМ РП.Е, ООТ МЬЕ); (урв сОцмт (в ганса О, определяется реализацией; снЬгуре РОЗ1Т1НЕ СОЦМТ Ь СОЦМТ гаева ! .. СООМТ[АЗТ; ЦМВООМОЕО: сопмап! СОЦМТ к О: — длина строчки и страницы свЬгуре Р)ЕЬО ы 1мте6ен голее 0 .. определяется реализацией; снЬ(уре МОМВЕЯ ВАЗЕ 1 ° [МТЕ6ЕН гапее 2 ..
1В; гуре ТУРЕ ЗЕТ 1 ° [ЬОУУЕН САЗЕ, ЦРРЕЯ САВЕ); -- управление файлами рпкагЬга СЯЕАТЕ ( РЛ.Е: 1и овг Р)ЬЕ туре; МООЕ: )и Р[ЬЕ МООЕ:= Оцт РЛ.Е; МАМЕ: (и ЗТН1МО РОНМ г )и ЗТЯ(МВ '= ""1; рпгсеангс ОРЕМ ( р!ЬЕ; Ь ов! РН.Е ! ГРЕ; МООЕ: )и РЛ.Е МООЕ; МАМЕ; )и ЗТЯНЧО; РОЯМ: Ь ЗТН!МО г (и ок РЛ.Е ТУРЕ); [и оги ВЬЕ ТУРЕ); 1и сги РЛ.Е ТУРЕ: МООЕ: Ь РЛ.Е МООЕ): 1и ои РК.Е ТУРЕ1; рксаавге СЬОЗЕ (РЛ.Е рксеанге ОЕЬЕТЕ (Р1ЬЕ рпвгаанге ЯЕЗЕТ (РН.Е ргосвангв НЕЗЕТ [РЛ.Е Ьпсаоп МООЕ (МЬЕ: Ь РН.Е ТУРЕ) кйип Р(ЬЕ МООЕ; !нпсгкп МАМЕ [ЕЛ.Е: [и РН.Е ТУРЕ) ге(нпг ЗТН!МО; йикаоп ГОЯМ (РН.Е; (и МЬЕ ТУРЕ) сепии ЗТН[МО; йгпсаоп 1З ОРЕМ(р)ЬЕ г [и РЛ.Е ТУРЕ) ккги ВОО!.ЕАМ; — управление файлами ввода и вывода по умолчанию Тип ВООЕЕАМ является перечислимым типом, поэтому пакет ЕМ[)МЕЯАТЮМ 1О может быть настроен на этот тип.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
