Справочник по Ada 2005
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 is
pragma Preelaborate(Storage_IO);
with System.Storage_Elements;
generic
type Element_Type is private;
package Ada.Storage_IO is
pragma Preelaborate(Storage_IO);
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 считывается или записывается в указанный буфер, а не во внешний файл.
ПРИМЕЧАНИЯ
21 Буфер, используемый для Storage_IO, содержит только один элемент за раз; внешний файл, используемый для Direct_IO, содержит последовательность элементов.
