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

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 Стандартные файлы ввода, вывода и ошибок являются различными объектами файлов, но не обязательно различными внешними файлами.