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

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 такой же, как у соответствующей подпрограммы в Sequential_IO (см. A.8.2). Если File не указан явно, используется Current_Output.

Ошибочное выполнение

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

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

ПРИМЕЧАНИЯ

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

29 Стандартные файлы ввода, вывода и ошибок — это разные объекты файлов, но не обязательно разные внешние файлы.