Руководство по Ada (Ada 2022)
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 при попытке изменить режим файла, являющегося текущим файлом по умолчанию для ввода, текущим файлом по умолчанию для вывода или текущим файлом по умолчанию для ошибок.
ПРИМЕЧАНИЕ Реализация может определить параметр Form процедур Create и Open для управления эффектами, включая следующее:
интерпретация номеров строк и столбцов для интерактивного файла, и
интерпретация форматов текста в файле, созданном внешней программой.
