Справочник по Ada 2012

A.10.2 Управление текстовыми файлами

Статическая семантика

Единственно допустимые режимы файлов для текстовых файлов — это режимы In_File, Out_File и Append_File. Подпрограммы, приведенные в подпункте A.8.2 для управления внешними файлами, и функция End_Of_File, приведенная в подпункте A.8.3 для последовательного ввода-вывода, также доступны для текстовых файлов. Существует также версия End_Of_File, которая относится к текущему файлу по умолчанию для ввода. Для текстовых файлов процедуры имеют следующие дополнительные эффекты:

Для процедур Create и Open: После открытия файла с режимом Out_File или Append_File длина страницы и длина строки неограничены (обе имеют значение по умолчанию ноль). После открытия файла (любого режима) текущий столбец, текущая строка и текущие номера страниц устанавливаются в единицу. Если режим — Append_File, то определено реализацией, будет ли разделитель страницы отделять уже существующий текст в файле от нового текста, который будет записан.

Для процедуры Close: Если файл имеет текущий режим Out_File или Append_File, то это эквивалентно вызову New_Page, если текущая страница уже не завершена; затем выводится терминатор файла.

Для процедуры Reset: Если файл имеет текущий режим Out_File или Append_File, то это эквивалентно вызову New_Page, если текущая страница уже не завершена; затем выводится терминатор файла. Текущие номера столбца, строки и страницы устанавливаются в единицу, а длины строки и страницы — в неограниченные значения. Если новый режим — Append_File, то определено реализацией, будет ли разделитель страницы отделять уже существующий текст в файле от нового текста, который будет записан.

Исключение Mode_Error распространяется процедурой Reset при попытке изменить режим файла, который является текущим файлом по умолчанию для ввода, текущим файлом по умолчанию для вывода или текущим файлом по умолчанию для ошибок.

ПРИМЕЧАНИЯ

27 Реализация может определять параметр Form процедур Create и Open для управления эффектами, включая следующие:

интерпретация номеров строк и столбцов для интерактивного файла, и

интерпретация форматов текста в файле, созданном внешней программой.