Справочник Ada 95
A.8.3 Последовательные операции ввода-вывода
Статическая семантика
В этом подпункте описываются операции последовательного ввода-вывода. Исключение Status_Error распространяется, если любая из этих операций выполняется для файла, который не открыт.
procedure Read(File : in File_Type; Item : out Element_Type);
Операция выполняется над файлом режима In_File. Считывает элемент из указанного файла и возвращает значение этого элемента в параметре Item.
Исключение Mode_Error распространяется, если режим не In_File. Исключение End_Error распространяется, если из данного файла больше нет элементов для чтения. Исключение Data_Error может быть распространено, если считанный элемент не может быть интерпретирован как значение подтипа Element_Type (см. A.13, ``Исключения при вводе-выводе'').
procedure Write(File : in File_Type; Item : in Element_Type);
Операция выполняется над файлом режима Out_File или Append_File. Записывает значение Item в данный файл.
Исключение Mode_Error распространяется, если режим не Out_File или Append_File. Исключение Use_Error распространяется, если ёмкость внешнего файла превышена.
function End_Of_File(File : in File_Type) return Boolean;
Операция выполняется над файлом режима In_File. Возвращает True, если из данного файла больше нет элементов для чтения; в противном случае возвращает False.
Исключение Mode_Error распространяется, если режим не In_File.
