Ada 2º Parte (variables, ámbitos, subrutinas, tipos abstractos de datos y excepciones)
Excepciones Cuando ocurre un error durante la ejecución del programa decimos que ha ocurrido una excepción. Ada nos permite capturar las excepciones y ejecutar un bloque especial de código denominado manejador de excepciones. Al igual que en los tipos de datos, Ada proporciona algunas excepciones predefinidas y nos permite definir nuevas excepciones.
Excepciones predefinidas Las excepciones predefinidas de Ada son: 1. Constraint_Error: Esta excepción se eleva cuando: Hay un índice fuera de rango (por ejemplo, intentar acceder al elemento 31 de una formación de 30 elementos). 2. Numeric_Error: Se eleva cuando se produce un desbordamiento en una operación aritmética o una división por cero. 3. Program_Error: Se eleva cuando se ha producido algún error de programación que no pudo ser detectado en tiempo de compilación. Por ejemplo, cuando una función termina sin ejecutar ninguna sentencia return. 4. Storage_Error: Se eleva cuando se hay algún problema de falta de memoria. Por ejemplo, cuando se ha creado un procedimiento recursivo que no finaliza nunca o cuando creamos una tabla demasiado grande para la memoria de nuestro ordenador.
Manejo de excepciones Declaración de excepciones A parte de las excepciones predefinidas, también se pueden declarar excepciones propias. Para hacerlo, se debe utilizar el tipo de dato exception. Por ejemplo: Dato_Erroneo : exception; Cuando se detecta el error y se quiere que Ada lo considere como un error se debe elevar la excepción. Para esto se debe utilizar la frase raise. Por ejemplo : if Dato > 500 then raise Dato_Erroneo; end if;