Ada.IO_Exceptions

Explicación

La librería Ada.IO_Exceptions define (y las librerías Ada.Text_IO, Ada.Sequential_IO, Ada.Direct_IO y Ada.Stream_IO renombran) las siguientes excepciones relacionadas con las operaciones de entrada/salida:
 

Excepción Ocurre cuando...
Status_Error se intenta acceder a un fichero que no está abierto, o abrir un fichero que ya está abierto.
Mode_Error se intenta leer de un fichero que está abierto para escritura o escribir en un fichero que está abierto para lectura.
Name_Error   se intenta abrir o crear un fichero y el nombre externo es incorrecto (Ej.: porque el formato de la ristra no es válido como nombre de fichero o no existe un fichero físico cuando se intenta abrir).
Use_Error se intenta abrir un fichero para un uso ilegal en función de las características del sistema externo (Ej.: si se intenta crear un fichero con un nombre externo que ya existe y no está permitido sobreescribirlo o se intenta abrir un fichero para escritura sobre un dispositivo que es sólo de lectura).
Device_Error se produce un fallo debido a un mal funcionamiento del sistema externo.
End_Error se intenta leer de un fichero en el que se ha alcanzado la marca de fin de fichero.
Data_Error la información de la entrada tienen un formato que no se corresponde con el tipo de datos que se está leyendo.