Справочник по Ada (Ada 2022)
A.10.3 Файлы по умолчанию для ввода, вывода и ошибок
Статические семантика
Следующие подпрограммы обеспечивают управление конкретными файлами по умолчанию, которые используются, когда параметр файла опущен из операции Get, Put или других операций текстового ввода-вывода, описанных ниже, или когда требуется вывод связанного с ошибкой текста, зависящего от приложения.
процедура Set_Input(File : in File_Type);
Операция над файлом режима In_File. Устанавливает текущий файл по умолчанию для ввода в File.
Исключение Status_Error распространяется, если заданный файл не открыт. Исключение Mode_Error распространяется, если режим заданного файла не In_File.
процедура Set_Output(File : in File_Type);
процедура Set_Error (File : in File_Type);
процедура Set_Error (File : in File_Type);
Каждая операция над файлом режима Out_File или Append_File. Set_Output устанавливает текущий файл вывода по умолчанию в File. Set_Error устанавливает текущий файл ошибок по умолчанию в File. Исключение Status_Error распространяется, если заданный файл не открыт. Исключение Mode_Error распространяется, если режим заданного файла не Out_File или Append_File.
функция Standard_Input return File_Type;
функция Standard_Input return File_Access;
функция Standard_Input return File_Access;
Возвращает стандартный файл ввода (см. A.10) или значение доступа, обозначающее стандартный файл ввода, соответственно.
функция Standard_Output return File_Type;
функция Standard_Output return File_Access;
функция Standard_Output return File_Access;
Возвращает стандартный файл вывода (см. A.10) или значение доступа, обозначающее стандартный файл вывода, соответственно.
функция Standard_Error return File_Type;
функция Standard_Error return File_Access;
функция Standard_Error return File_Access;
Возвращает стандартный файл ошибок (см. A.10) или значение доступа, обозначающее стандартный файл ошибок, соответственно.
Форматы строк, неявным образом связанные с открытием Standard_Input, Standard_Output и Standard_Error в начале выполнения программы, определяются реализацией.
функция Current_Input return File_Type;
функция Current_Input return File_Access;
функция Current_Input return File_Access;
Возвращает текущий файл ввода по умолчанию или значение доступа, обозначающее текущий файл ввода по умолчанию, соответственно.
функция Current_Output return File_Type;
функция Current_Output return File_Access;
функция Current_Output return File_Access;
Возвращает текущий файл вывода по умолчанию или значение доступа, обозначающее текущий файл вывода по умолчанию, соответственно.
функция Current_Error return File_Type;
функция Current_Error return File_Access;
функция Current_Error return File_Access;
Возвращает текущий файл ошибок по умолчанию или значение доступа, обозначающее текущий файл ошибок по умолчанию, соответственно.
процедура Flush (File : in File_Type);
процедура Flush;
процедура Flush;
Эффект Flush такой же, как у соответствующей подпрограммы в Sequential_IO (см. A.8.2). Если File не указан явно, используется Current_Output.
Ошибочное выполнение
Выполнение программы является ошибочным, если оно вызывает операцию над текущим файлом ввода по умолчанию, файлом вывода по умолчанию или файлом ошибок по умолчанию, и если соответствующий объект файла закрыт или больше не существует.
Этот абзац был удалён.
ПРИМЕЧАНИЕ 1 Стандартные файлы ввода, вывода и ошибок не могут быть открыты, закрыты, сброшены или удалены, потому что параметр File соответствующих процедур имеет режим in out.
ПРИМЕЧАНИЕ 2 Стандартные файлы ввода, вывода и ошибок являются различными объектами файлов, но не обязательно различными внешними файлами.
