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