Справочник по Ada 2005
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.
