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