La librería Ada.Stream_IO ofrece tipos y operaciones para realizar entrada y salida de acceso directo con streams. Un stream representa un flujo de datos, una secuencia de elementos de diversos tipos a los que se accede de forma secuencial.
type Stream_Access is access all Root_Stream_Type'Class;
type File_Type is limited private;
type File_Mode is (In_File, Out_File, Append_File);
type Count is range 0 .. implementation-defined;
subtype Positive_Count is Count range 1 .. Count'Last;
with Direct_IO; ... package Fich_Integer_Dir is new Direct_IO(Integer); ... Fichero : Fich_Integer_Dir.File_Type;