Н. Джехани - Язык Ада (1988) (1160771), страница 118
Текст из файла (страница 118)
В настраиваемых пакетах ЗЕО0ЕМТ!АЕ Ю и Р!ЯЕСТ Ю описаны соответствующие файловые типы и связанные с ними операции. Объект файлового типа, используемый для последовательного доступа, называется последовательным файлом, а используемый для прямого доступа — прямым файлом. При последовательном доступе файл рассматривается как последовательность значений, которые передаются в порядке их поступления (от программы или из окружения). Если файл открыт, то передача начинается с начала файла. При прямом доступе файл рассматривается как набор элементов, занимающих последовательные позиции в линейном порядке; значение может быть передано в элемент файла (или из него), находящийся в любой выбранной позиции.
Позиция элемента задается его индексом, который является положительным числом определяемого реализацией целого типа СООМТ. Индекс первого элемента в файле (если он есть) равен единице; индекс последнего элемента (если он есть) называется текущим размером; текущий размер файла, не содержащего ни одн!ь го элемента, равен нулю. Текущий размер — это характеристика внешнего файла. Открытый прямой файл имеет текущий индекс, который будет использован следующей операцией для чтения или записи. По открытии прямого файла значение текущего индекса устанавливается равным единице. Текущий индекс прямого файла — это характеристика не внешнего файла, а связанного с ним объекта файлового типа. Для прямых файлов допустимы все три вида файла.
Для последовательных файлов допустимы только виды !М Р!ЕЕ и 00Т Е!ЕЕ. Ссылки: вид файла 14.1, тип 14.3, файл вида (М Е)ЕЕ 14.1, файл вида 00Т Е!(.Е 14.1. 14.2.1. УПРАВЛЕНИЕ ФАЙЛАМИ В этом разделе описаны процедуры и функции, предназначенные для управления внешними файлами; их описания повторены в каждом из трех пакетов последовательного, прямого и текстового ввода. вывода. Процедуры СЯЕАТЕ, ОРЕМ и ЛЕЗЕТ при вводе-выводе текстов Ниари 14 имеют дополнительные эффекты, описанные в равд.
14.3.1. ргооейив ОРЕМ( Р!ЬЕ; Ш ~на РП.Е ТУРЕ; МОСЕ: )и Р)ЬЕ МОСЕ; МАМЕ; Ь ЗТВ)МО; РОВМ: м зтмма:= " ).' Устанавливает новый внешний файл с данным именем и формой и связывает его с данным файлом (Е((.Е). После этого данный файл открывается. Текущий вид файла устанавливается в заданный вид доступа (МОСЕ). По умолчанию для последовательного и текстового вво. да.вывода устанавливается вид 00Т Е(ЕЕ, а дпя прямого ввода-вывода — )МО0Т РП.Е. Дпя прямого доступа размер созданного файла зависит от реализации. Пустая строка под именем (МАМЕ) задает внешний файл, который не доступен после окончания главнои программы (временный файл). Пустая строка для формы (ЕОЙМ) задает параметры по умолчанию, определяемые реализацией дпя внешнего файла. Если данный файл уже открыт, то возбуждается исключение ЗТАТ08 ЕНЙОН. Если указанная в качестве параметра МАМЕ строка не допускает идентификацию внешнего файла, то возбуждается исключение МАМЕ ЕЙНОЙ.
Если дпя заданного вида файла окружение не может обеспечить создание внешнего файла с заданными именем и формой, то возбуждается исключение 08Е ЕЙЙОЯ (в отсутствие возбуждения исключения МАМЕ ЕВЯОВ). ргоевйив СВЕАТЕ(РП.Е; Ь ои( Р(ЬЕ ТУРЕ; МООЕ; )и Р!ЬЕ МОСЕ =вид,по умолчению; МАМЕ; 1п ЗТВ)НО РОВМ: Ь ЗТВ1МО;= ""); Связывает данный файл с существующим внешним файлом, имеющим данные имя и фор.
му, а текущий вид данного файла устанавливается параметром МОСЕ. Данный файл открывается. Если данныи файл уже открыт, то возбуждается исключение ЗТАТ08 ЕННОВ. Если строка, заданная параметром МАМЕ, не допускает идентификацию внешнего файла, то возбужда. ется исключение МАМЕ ЕВВОВ; в частности, это исключение возбуждается, если внешнего файла с указанным именем не существует. Если дпя заданного вида файла окружение не мо. жет обеспечить открытие внешнего фаила с данными именем и формой, то возбуждается исключение 08Е ЕНЙОВ (в отсутствие возбуждения исключения МАМЕ ЕНВОЯ). Ргоеейив СьОЗЕ(Р!ьЕ: 1и оиг Р)ЬЕ ТУРЕ); Уничтожает связь между данным файлом и соответствующим ему внешним фаилом. Данный файл закрывается. Если данный файл не открыт, то возбуждается исключение ЗТАТ08 ЕВЯОВ. Рикеаогв ОЕЬЕТЕ(Р(ьЕ: Ь оиг Р!ьЕ ТУРЕ1; Уничтожает внешний фаил, связанный с данным файлом.
Данный файл закрывается, внешний файл прекращает существование. Если данный файл не открыт, то возбуждается исключение ЗТАТ08 ЕЙНОЙ. Если уничтожение внешнего файла не может быть обеспечено окружением, то возбуждается исключение 08Е ЕЙНОЙ (все такие случаи должны быть описаны в приложении Р), ргеоедок ВЕЗЕТ(РП.Е: )и оиг Р!ЬЕ ТУРЕ; МООЕ: 1и Н1.Е МОСЕ): рговвйие ВЕЗЕТ(Р)ЬЕ: )в оиг Н1.Е ТУРЕ); Устанавливает данный файл в состояние, позволяющее возобновить чтение или запись значений его элементов с начала файла; в частности, для прямого доступа это означает, что текущий индекс становится равным единице. Если задан параметр МОСЕ, то в соответствии с ним устанавливаатся текущий вид данного файла.
Если файл не открыт, то возбуждается исключение ЗТАТ08 ЕВВОЯ. Если для внешнего файла окружение не может осуществить возврат к началу фаила или установку данного вида, то возбуждается исключение 08Е ЕВВОВ. аикаои МООЕ(Е)ЬЕ: !о Р!ЬЕ ТУРЕ! квив Р!ЬЕ МООЕ; Возвращает текущий вид данного файла. Если файл не открыт, то возбуждается исключение 8ТАТ08 ЕЙНОЙ. В рырр !опсеап МАМЕ(Р(ЬЕ: (и Я1.Е ТУРЕ) шипи 8ТЯ)МО; Возвращает строку, которая однозначно идентифицирует внешний файл, связанный с данным фаипом (она может быть использована в операции ОРЕМ).
Если окружение допускает альтернативные спецификации имени (например, сокращения), то возвращаемая функцией строка обязана соответствовать полной спецификации имени. Если данный фаил не открыт, то возбуждается исключение ВТАТ08 ЕВВОЯ. Ыпсеоп РОЯМ(Р!ЬЕ; 1и ЕГСЕ ТУРЕ) юе(пги ЗТЯ1МО; Возвращает строку, определяющую форму внешнего файла, связанного в этот момент с данным файлом.
Если окружение допускает альтернативные спецификации форм (например, сокращения, использующие возможности по умолчанию), то возвращаемая функцией строка обязана соответствовать полной спецификации (т.е. она обязана явно содержать все выбранные воэможности, включая воэможности по умолчанию). Если данный файл не открыт, то возбуждается исключение 8ТАТ08 ЕВЯОВ. апмяап 18 ОРЕМ(Р!сЕ: (п РпьЕ ТУРЕ) сапеги ВООЬЕАМ; Если файл открыт (т.е. связан с внешним файлом), то возвращает значение ТВОЕ, в противном случае — ГАЕВЕ. Ссылки: вид 14.1, внешний файл 14.1, закрытый фаил 14.1, исключение МАМЕ ЕВЯОЯ 14.4, исключение 8ТАТ08 ЕЯВОВ 14.4, исключение 08Е ЕВВОЯ 14.4, 00Т Г(ЕЕ 14.1, открытый файл 14.1, поименованная строка 14.1, прямой доступ 14.2, текущий вид 14.1, текущий размер 14.1, тип ГП Е МОВЕ 14.1, тип ГП.Е ТУРЕ 14.1, файл 14.1, файл вида (М00Т ГТСЕ 14.2.4, форма файла 14.1.
14.2.2. ПОСЛЕДОВАТЕЛЬНЫЙ ВВОД. ВЫВОДА В этом разделе описаны операции для последовательного ввода и вывода. В случае применения любой из этих операций к закрытому файлу возбуждается исключение ВТАТ08 ЕВВОЯ. рюосейие ЯЕАО(РГ.Е: (и Р(ЬЕ ТУРЕ; !ТЕМ: ои( Е1.ЕМЕМТ ТУРЕ); Оперирует над файлом вида )М Г(ЬЕ Читает элемент данного файла и возвращает значе. ние этого элемента через параметр (ТЕМ. Если вид файла не (М Г(ЬЕ, то возбуждает исключение МОСЕ ЕВВОЯ. Если из файла нельзя больше читать ни одного элемента, то возбуждает исключение ЕМО ЕЙВОЯ. Если прочитанныи элемент не может быть интерпретирован как значение типа ЕЬЕМЕМТ ТУРЕ, то возбуждается исключение ВАТА ЕВВОВ; однако дпя реализации допустимо опускать такую проверку в случае, если она слишком сложна.
Маседпга УУЯ(ТЕ(р)ЬЕ: (п НЕЕ ТУРЕ; 1ТЕМ; 1и ЕЬЕМЕМТ ТУРЕ); Оперирует над файлом вида 00Т Г(ЕЕ. Записывает в данный файл значение параметра (ТЕМ. Если вид файла не 00Т ГП.Е, то возбуждается исключение МООЕ.. ЕВВОВ. Если внешний файл уже заполнен до конца, то возбуждается исключение 08Е ЕВЯОВ. Ыпаяоп ЕМО Ор РГ.Е(ЕГ.Е; (и Е!ЬЕ ТУРЕ) галии ВООсЕАМ; Оперирует над фаилом вида !М Г(ЕЕ. Если из файла больше нельзя читать ни одного элемента, то возвращает значение ТВОЕ, в противном случае — ГАЬВЕ.
Если вид файла не (М Г(ЕЕ, то возбуждается исключение МООЕ ЕЙНОЙ. Ссылки: вид )М ГП Е 14.1, вид 00Т ГП Е 14.1, вид файла 14.1, внешний файл 14.1, искпю. чение ВАТА ЕВЯОЯ 14.4, исключение ЕМО ЕЯЯОЯ 14.4, исключение МООЕ ЕЯВОВ 14.1, исключение 8ТАТ08 ЕЙНОЙ 14.4, исключение 08Е ЕЙЯОВ 14.4, тип ЕЬЕМЕМТ ТУРЕ 14.1, файл 14.1, файловый тип 14.1, элемент 14.1. 14.2.3. СПЕЦИФИКАЦИЯ ПАКЕТА ПОСЛЕДОВАТЕЛЬНОГО ВВОДА-ВЫВОДА ипша Ю ЕХСЕРТ ОМЕ; росапо ЕГре ЕЬЕМЕМТ ТУРЕ 1 ° анапы; Глава 14 рвскаее ЗЕООЕМТ(А( Ю Ь !уре РЛ.Е ТУРЕ )е Ьпйеа рп гпе; !уре Р1сЕ МООЕ )в НМ РН.Е, ОНТ ЯЕЕ1; -- управление файлами рпкпапк СВЕАТЕ (РН.Е: 1п оги РЛ.Е ТУРЕ; МООЕ: Ь ЕЛ.Е МООЕ:= ООТ Р1ЕЕ: МАМЕ: ги ЗТЯ1М6 РОНМ: гп ЗТЯ)МО к " ); рксвдвге ОРЕМ (РН.Е: Ь еп Р!ЕЕ \УРЕ; МООЕ; )и РЛ.Е МООЕ; МАМЕ: Ь 5ТЮМ6; РОЙМ: 1п ЗТВ1МО:= ""1; рпкадвге СсОЗЕ (Р!сЕ: )п оат Р!ЕЕ ТУРЕ); ргосеесге ОЕсЕТЕ (РП.Е: 1и оп! Я1.Е ТУРЕ); ргосмапв ВЕЗЕТ (РВЕ: )и овг Р1ЕЕ ТУРЕ; МООЕ: Ь Р!ЕЕ МООЕ); ргосеепге ВЕЗЕТ (РЛ.Е: )п ов! Я!.Е ТУРЕ): !ппсвоп МООЕ агпсаоп МАМЕ Ьпсвоп РОВМ (Р!сЕ: (и Р!сЕ ТУРЕ! га!вгп РН.Е МООЕ; (Р1сЕ: (и Р1ЕЕ ТУРЕ) к!пуп ЗТй1М6; (Р1ЕЕ: )и Р1ЕЕ ТУРЕ) мпип ЗТЯ)М6; Ьпсеоп 15 ОРЕМ (Я1.Е: (и РН.Е ТУРЕ) ге!Ьп 5001.ЕАМ; — операции ввода и вывода ргосовпге НЕАО (Я1.Е: 1п РН.Е ТУРЕ; (ТЕМ: ов! Е1.ЕМЕМТ ТУРЕ); рлкеевгв !МР4ТЕ (РП.Е; )и Р)сЕ ТУРЕ; )ТЕМ; Ь ЕсЕМЕМТ ТУРЕ); !впс!кп ЕМО ОР ЯСЕ(РЛ.Е: Ь Р!сЕ ТУРЕ! капп ЗООЕЕАМ: -- исключения ргмаге — зависит от реализации епа ЗЕООЕМТ1А( 10; Ссылки: вид (М Е(ЕЕ 14.1, вид СОТ РЮЕ 14.1, исключение ОАТА ЕЯЯОЯ 14.4, исключение ОЕЧ1СЕ ЕЯЯОЯ 14.4, исключение ЕМО ЕЯЯОЯ 14.4, исключение МОСЕ ЕЯЯОЯ 14.4, исключение МАМЕ ЕЯЯОЯ 14.4, исключение ЗТАТ08 ЕЯЯОЯ 14.4, исключение ОЗЕ ЕЯЯОЯ 14.4, пакет исключений Ю ЕХСЕРТЮМВ 14.4, пакет ЗЕООЕМТ1АЕ Ю 14.2, 14.2.2, процедура СВОЗЕ 14.2.1, процедура СЯЕАТЕ 14.2.1, процедура ОЕЕЕТЕ 14.2.1, процедура ОРЕМ 14.2.1, процедура ЯЕАО 14.2.2, процедура ВЕЗЕТ 14.2.1, процедура ууй(ТЕ 14.2.2, тип РЙ Е МОСЕ 14.1, тип Г1(.Е ТУРЕ 14.1, функция ЕМО ОГ Г(ЕЕ 14.2.2, функция ЕОЯМ 14.2.1, функция 18 ОРЕМ 14.2.1, функция МОСЕ 14.2.1, функция МАМЕ 14.2.1.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
