La librería IO_Exceptions define (y las librerías Text_Io,
Sequential_Io, Direct_Io y Stream_Io redefinen) 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 (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 técnico en un dispositivo de entrada/salida. |
| End_Error | se intenta leer de un fichero en el que se ha alcanzado la marca de fin de fichero. |
| Data_Error | se intenta leer un valor entero, real o enumerado y los datos de entrada tienen un formato incorrecto. |
La librería IO_Exceptions también define (y redefine la Text_Io) la excepción Layout_Error que indica cuándo se producen errores en la estructura definida (filas, columnas, páginas) para un fichero de texto.
© Grupo de Estructuras de Datos y Lingüística Computacional - ULPGC
Anterior | Superior | Siguiente