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

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 при попытке изменить режим файла, являющегося текущим стандартным входным файлом, текущим стандартным выходным файлом или текущим стандартным файлом ошибок.

ПРИМЕЧАНИЯ

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

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

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