Ada Programming/Libraries/Ada.Storage IO

is a unit of the Predefined Language Environment since Ada 95.

Description
Ada.Storage_IO is not a general-purpose Input/Output package. According to (1), it is designed for the construction of user-defined input-output packages, but may also be used to transfer elements from one task to another. Note: None of the language defined IO packages is task-safe.

It allows you to store one element inside a memory buffer. The element needs to be of a definite subtype.

Be careful: The exception  need not be called when the value read cannot be interpreted as a value of the subtype Element_Type (you have to follow several references given in the RM to ), which may lead to erroneous execution; this may especially occur if a value has never been written. Use the 'Valid attribute when not sure.

Specification
Element_Type Preelaborate Storage_IO Buffer_Size  SystemStorage_ElementsStorage_Count implementation_defined Buffer_Type SystemStorage_ElementsStorage_Array 1 Buffer_Size Read Buffer    Buffer_Type Item   Element_Type Write Buffer  Buffer_Type Item    Element_Type Data_Error     IO_ExceptionsData_Error AdaStorage_IO

Wikibook

 * Ada Programming
 * Ada Programming/Input Output
 * Ada Programming/Libraries
 * Ada Programming/Libraries/Ada