10.8 Stream_IO

A stream file is a sequence of bytes, where individual elements are written to the file as described in the Ada Reference Manual. The type Stream_Element is simply a byte. There are two ways to read or write a stream file.

• The operations Read and Write directly read or write a sequence of stream elements with no control information.
• The stream attributes applied to a stream file transfer data in the manner described for stream attributes.