Справочник по Ada (Ada 2022)
A.9 Обобщённый пакет Storage_IO
Обобщённый пакет Storage_IO предоставляет средства чтения и записи в буфер в памяти. Этот обобщённый пакет поддерживает создание пакетов ввода-вывода, определённых пользователем.
Статическая семантика
Обобщённый пакет Storage_IO имеет следующее объявление:
with Ada.IO_Exceptions;
with System.Storage_Elements;
generic
type Element_Type is private;
package Ada.Storage_IO
with Preelaborate, Global => in out synchronized is
with System.Storage_Elements;
generic
type Element_Type is private;
package Ada.Storage_IO
with Preelaborate, Global => in out synchronized is
Buffer_Size : constant System.Storage_Elements.Storage_Count :=
определяемое реализацией;
subtype Buffer_Type is
System.Storage_Elements.Storage_Array(1..Buffer_Size);
определяемое реализацией;
subtype Buffer_Type is
System.Storage_Elements.Storage_Array(1..Buffer_Size);
-- Операции ввода-вывода
procedure Read (Buffer : in Buffer_Type; Item : out Element_Type);
procedure Write(Buffer : out Buffer_Type; Item : in Element_Type);
-- Исключения
Data_Error : exception renames IO_Exceptions.Data_Error;
end Ada.Storage_IO;
end Ada.Storage_IO;
В каждом экземпляре константа Buffer_Size имеет значение, равное размеру (в элементах памяти) буфера, необходимого для представления содержимого объекта типа Element_Type, включая любые неявные уровни косвенности, используемые реализацией. Процедуры Read и Write пакета Storage_IO соответствуют процедурам Read и Write пакета Direct_IO (см. A.8.4), но содержимое параметра Item считывается из или записывается в указанный буфер, а не во внешний файл.
ПРИМЕЧАНИЕ. Буфер, используемый для Storage_IO, хранит только один элемент за раз; внешний файл, используемый для Direct_IO, хранит последовательность элементов.
