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

A.10.3 Файлы по умолчанию для ввода, вывода и ошибок

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

Следующие подпрограммы обеспечивают управление конкретными файлами по умолчанию, используемыми, когда параметр файла опущен из операции Get, Put или другой операции текстового ввода-вывода, описанной ниже, или когда необходимо вывести текст, связанный с ошибкой, зависящий от приложения.

procedure Set_Input(File : in File_Type);

Действует на файле в режиме In_File. Устанавливает текущий файл ввода по умолчанию на File.

Исключение Status_Error распространяется, если заданный файл не открыт. Исключение Mode_Error распространяется, если режим заданного файла не In_File.

procedure Set_Output(File : in File_Type);
procedure Set_Error (File : in File_Type);

Каждая из них работает с файлом в режиме Out_File или Append_File. Set_Output устанавливает текущий файл вывода по умолчанию на File. Set_Error устанавливает текущий файл ошибок по умолчанию на File. Исключение Status_Error распространяется, если заданный файл не открыт. Исключение Mode_Error распространяется, если режим заданного файла не Out_File или Append_File.

function Standard_Input return File_Type;
function Standard_Input return File_Access;

Возвращает стандартный файл ввода (см. A.10), или значение доступа, обозначающее стандартный файл ввода, соответственно.

function Standard_Output return File_Type;
function Standard_Output return File_Access;

Возвращает стандартный файл вывода (см. A.10) или значение доступа, обозначающее стандартный файл вывода, соответственно.

function Standard_Error return File_Type;
function Standard_Error return File_Access;

Возвращает стандартный файл ошибок (см. A.10), или значение доступа, обозначающее стандартный файл ошибок, соответственно.

Строки Формат, неявно связанные с открытием Standard_Input, Standard_Output и Standard_Error в начале выполнения программы, определены реализацией.

function Current_Input return File_Type;
function Current_Input return File_Access;

Возвращает текущий файл ввода по умолчанию, или значение доступа, обозначающее текущий файл ввода по умолчанию, соответственно.

function Current_Output return File_Type;
function Current_Output return File_Access;

Возвращает текущий файл вывода по умолчанию, или значение доступа, обозначающее текущий файл вывода по умолчанию, соответственно.

function Current_Error return File_Type;
function Current_Error return File_Access;

Возвращает текущий файл ошибок по умолчанию, или значение доступа, обозначающее текущий файл ошибок по умолчанию, соответственно.

procedure Flush (File : in File_Type);
procedure Flush;

Действие Flush такое же, как у соответствующей подпрограммы в Streams.Stream_IO (см. A.12.1). Если File не указан явно, используется Current_Output.

Ошибка выполнения

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

Этот абзац был удален.

ПРИМЕЧАНИЯ

23 Стандартные файлы ввода, вывода и ошибок не могут быть открыты, закрыты, сброшены или удалены, поскольку параметр File соответствующих процедур имеет режим in out.

24 Стандартные файлы ввода, вывода и ошибок являются различными объектами файлов, но не обязательно различными внешними файлами.