La librería Ada.Direct_IO ofrece tipos y operaciones para realizar entrada y salida de acceso directo con ficheros de componentes uniformes. Ada.Direct_IO es un paquete genérico con un parámetro (Element_Type) que hay que concretar instanciando el paquete para fijar el tipo de los elementos de los ficheros que se van a manipular.
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;