Н. Джехани - Язык Ада (1988) (1160771), страница 12
Текст из файла (страница 12)
Внутри внутренней конструкции скрытый внешний объект непосредственно невидим. Говорят, что объект, который может быть совмеШен, скрыт во внутренней конструкции, если внутренняя конструкция содержит описание другого объекта с тем же самым идентификатором и идентичными спецификациями. Например, подпрограмма, которая может быть совмешена, скрыта во внутренней конструкции, только если подпрограмма с идентичной спецификацией описана во внутренней конструкции.
Литералы перечисления трактуются как функции без параметров при определении видимосги объектов. Следовательно, литерал перечисления может скрывать функции без параметров, и наоборот. Следующий фрагмент программы иллюстрирует различие в правилах видимости для совмещаемых и несовмещаемых объектов: ргосейпге Р Ь А, В: Р1.ОАТ; ргосейиге У Ь ...
епй г'; ргосейпге О Ь А: 1ХТЕОЕК; 1апсйоп В геГвгп 1г1ТЕОЕК Ь ... епй В; ргосейвге У(Х: Р1.ОАТ) Ь ... евй У; Ьея1п — переменные А и В внешней процедуры Р здесь — невидимы — непосредственно, поскольку О содержит объект — с тем же идентификатором; на него, однако, можно — ссылаться — используя именованную компоненту Р А или Р В; — процедура У, описанная вне О, видима, лов скольку процедура Х внутри О имеет другую — спецификацию спи О; Ьей1п епй Р; 1.6.3. Как сделать компоненты пакета непосредственно видимыми Если пакет видим в данной точке программы, то его компоненты также видимы в этой точке при использовании именованной компоненты. Спецификатор взе используется для того, чтобы сделать компоненты такого пакета непосредственно видимыми.
Ввв вняв С помощью спецификатора вве нельзя скрыть идентификатор, но он может вызвать совмещение идентификаторов. Если с помощью спецификатора вве нельзя сделать объект видимым (если аналогичный объект уже видим непосредственно), то необходимо использовать именованную компоненту. В случае перекрытия ставшие видимыми идентификаторы рассматриваются лишь тогда, когда без них невозможна правильная интерпретация программы.
1.6.4. Переименование обьектов 18.51 В языке Ада имеется возможность описания переименования для задания объекту альтернативного имени. Для обращения к переименованному объекту можно использовать как первоначальное, так и новое имя. Переименование можно использовать для разрешения конфликтов имен (например, вызванных совмещением) и для удобных сокращений.
Например, можно задать другое имя процедуре или функции. Процедура ТЕХТ 10 РЫТ для записи символов в стандартный выходной поток переименовывается в Р(ЗТ для удобства использования описанием ргосейвге Р13Т(А:СНАКАСТЕК) гепащев ТЕХТ 10 РЫТ; сокращенная запись Р()Т Операцию +, совмещенную для сложения матриц, можно переименовать в МАТК)Х Я5М описанием 1впсйоп МАТК1Х Я)М(Х, У: 1п МАТК1Х) гещгп МАТК1Х гепашев "+ "; Оператор А: = В + С + Р; где А, В, С и 0 — массивы типа МАТК1Х с одинаковыми границами, можно записать также как А:= МАТК1Х Я)М(0, МАТК1Х ЯЗМ(В, С)); Операции могут быть переименованными в функции, и наоборот.
Функция, соответствующая унарной операции, должна иметь только один формальный параметр, в то время как функция„ соответствующая бинарной операции, — два формальных параметра. 1.7. Ввод/вывод ~141 Общие возможности ввода/вывода высокого уровня задаются предопределенными пакетами ВЕОУЕХТ1АЬ 10, )э!КЕСТ 10 и ТЕХТ 10. Они определяют типы файлов, виды файлов и операции над файлами. Настраиваемые пакеты БЕОБЕХТ1АЬ 10 и 01КЕСТ 10 используются для связи с файлами, заданными в двоичном виде.
Пакет ТЕХТ 10 используется для чтения и записи текстовых файлов, т. е. файлов, представленных в виде последовательности символов. (Текстовые файлы в отличие от двоичных файлов могут читаться человеком.) Пакет, названный Ь0% ЬЕЧЕЬ 10, служит для управления периферийными устройствами. Внешний файл 114.1) — это нечто внешнее по отношению к программе, куда можно передать или откуда можно получить значение. Он идентифицируется Глава г именем, которое есть строка. Характеристики файла, зависящие от системы, такие как доступ и его физические характеристики, задаются второй строкой, называемой Формой файла.
С внешним файлом нельзя работать непосредственно. Объект типа, внутренний файл (называемый просто файл, если только не возникает двусмысленность), сначала должен быть создан, а затем связан с внешним файлом. В результате получается внутренний файл, который используется для выполнения операций над файлом, таких как чтение из или запись в связанный с ним внешний файл. Файлы как внутренние, так и внешние — это гомогенные объекты, т. е. они содержат элементы одного и того же типа. 1.7.1.
Прямые и последовательные ~байлы [14.2] В языке Ада поддерживаются два вида доступа к внешним файлам — прямой и последовательный. Файл, используемый для прямого доступа, называется'прямым Файлом. (Конечно, ассоциированный внешний файл должен находиться на устройстве, поддерживающем прямой доступ, например на диске.) Такой файл рассматривается как множество линейно упорядоченных объектов, занимающих последовательные позиции. Доступ и обновление возможны для элементов из любой позиции. Позиция элемента задается его индексом. Индекс первого элемента есть единица.
Число элементов в файле называется его текущим размером. Файлы с прямым доступом могут быть одного из трех видов — только для чтения (1Х Р1ЬЕ), только для записи (011Т Р1ЬЕ) или для чтения/записи (1ХО(ЗТ Г1ЬЕ). Внешний файл, используемый для последовательного доступа, называется последовательным. К элементам последовательного файла нельзя обращаться путем указания их позиции; к ним можно обращаться последовательно. В отличие от файлов с прямым доступом последовательные файлы быванзт двух видов— только для чтения (1Х НЬЕ) и только для записи (О()Т НЬЕ). 1.7.1.1. Использование прямых и последовательных файлов Файлы с элементами типа Т описываются и используются в подпрограммах (или пакетах) следующим образом: 1.
Указывается соответствующий настраиваемый пакет ввода/вывода, который компилируется вместе с данной подпрограммой (или пакетом), путем использования спецификатора ичйй, например '11й ВЕО()ЕХТ(АЬ вЂ” К) 2. Конкретизация настраиваемого пакета ввода/вывода для элементов типа Т, например рас)гайе Т 10 1в пезг ЯЕО()ЕХТ1АЬ 10 (ЕЬЕМЕХТ ТУРЕ = > Т); Пакет Т-10 содержит описание типа Р1ЬЕ ТУРЕ (которое используется для описания файлов с элементами типа Т), класса, подходящего для последовательных файлов (т.
е. 1Х НЬЕ и ОБТ НЬЕ), и операций над последовательными файлами с элементами типа Т. Няв ение 3. Создание внутренних Файлов типа Т 10 Р1ЬЕ ТУРЕ. Например, А, В: Т 10 Р1ЬЕ ТУРЕ; описывает А и В как внутренние Файлы с элементами типа Т. 4. Установление связи между внутренним и внешним файлами за счет открытия существующего внешнего файла нли создания нового; класс внутреннего файла определяется в это же время, например Т 10 ОРЕХ(А, 1Х Р1ЬЕ, "з1пбепг йгабез"); — связывает Файл А с существующим внешним — Файлом "згпбепг ягабез" из которого можно читать — значения, но в него нельзя ничего записать Т 10 СКЕАТЕ(В, 013Т Р1ЬЕ, "згпбепг зГагийсз"); — связывает файл В с вновь создаваемым внешним — файлом "зГпс(епГ зГаг(зГ)сз" и оставляет его — в открытом — состоянии для записи; В предназначен только для — записи 5. Обработка файла, например чтение из А и запись этих или других значений в В, с использованием процедур Т 10 КЕАО и Т 10 ЮК1ТЕ, например Т 10 КЕА))(А, Х); Т 10%К1ТЕ(В, У); где Х вЂ” переменная, а У вЂ” выражение, причем оба типа Т.
б. Когда обработка файла завершена, связь между внутренним и внешним файлами разрывается путем закрытия внутреннего файла с помощью операции Т 10 С1.ОБЕ, например Т -10 С1.ОБЕ(А); Т -10 СЬОБЕ(В); 7. Можно избежать необходимости явной префиксации единиц пакета Т 10 (за исключением случаев, когда возникает двусмысленность), задавая спецификатор вяе в форме вяе Т-10; Например, операцию Т 10 С1.ОБЕ(А); можно теперь записать как СЬОБЕ(А); 1.7.2.
Операции над прямыми и последовательными Файлами Конкретизация пакетов ИКЕСТ 10 и БЕО1)ЕХТ1АЬ 10 предоставляет следующие операции управления файлами, доступные для тех типов файлов, которые поддерживаются при конкретизации: Глава 1 процедуры функции СКЕАТЕ МОРЕ ОРЕХ ХАМЕ С1.ОБЕ ГОКМ 1)ЕЬЕТЕ 18 ОРЕХ КЕБЕТ 1.7.2.1. Дополнительные операции над последовательными файлами 114.2.21 Конкретизация пакета БЕ()1)ЕХТ1АЬ 1О предоставляет следующие дополнительные операции управления файлами: процедуры функции КЕМ ЕХΠ— ОР Г1ЬЕ %К1ТЕ 1.7.2.2. Дополнительные операции над прямыми файлами [14.2.4) Конкретизация пакета О1КЕСТ 10 предоставляет следующие дополнительные операции управления файлами: процедуры функции КЕМ 1ХОЕХ %К(ТЕ Б1х,Е БЕТ 1Х1ЗЕХ ЕХО ОГ Р(ЬЕ 1.7.3.
Текспювые Файлы 114.31 Пакет ТЕХТ 1О поддерживает операции управления файлами (подобные операциям пакетов О1КЕСТ 1О и БЕО13ЕХТ1АЬ 1О), операции манипулирования входным и выходным файлами, операции над входом и выходом и операции управления размещением. ТЕХТ 1О содержит процедуры ОЕТ и РОТ для чтения и записи вместо КЕМ и %К1ТЕ, предусмотренных в Р1КЕСТ 1О и ЯЕ( НЗЕХТ1АЬ 1О. ОЕТ и РОТ производят необходимые преобразования между внутренним представлением значения и его символьным представлением в текстовом файле. С помощью ОЕТ и Р13Т можно вводить и выводить только по одной единице данных за одно обращение (КЕА)з и %К1ТЕ работают точно так же).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
