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

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 для управления эффектами, включая следующее:

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

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