Next: , Previous: A.11, Up: Annex A


A.12 Stream Input-Output

1/2
The packages Streams.Stream_IO, Text_IO.Text_Streams, Wide_Text_IO.Text_Streams, and Wide_Wide_Text_IO.Text_Streams provide stream−oriented operations on files.