excepciÓn de errores. Índice introducción tipos de excepciones propagación de excepciones y...

EXCEPCIÓN DE ERRORES

ÍNDICE

• Introducción• Tipos de excepciones• Propagación de excepciones y

Acción posterior a la excepción

1. Introducción al manejo de excepciones

•Excepción

•Manejador de excepción

•Levantamiento de una excepción

Esperando lo inesperado !!

• Ocurrencia de sucesos que se consideran excepcionales.

¿QUÉ ES UNA EXCEPCIÓN?

DEFINICIÓN DE EXCEPCIÓN:

Una excepción es un evento que ocurre durante la ejecución de un programa y que interrumpe el flujo normal de ejecución

Un mecanismo de manejo de excepciones debe cumplir una serie

de requerimientos generales

• Debe ser simple de usar y entender.• Separación del código para el manejo de las

excepciones del código normal• Tratamiento uniforme de las excepciones• Debe permitir que las acciones de

recuperación sean programadas.

¿QUÉ HACER CUANDO OCURRE UNA EXCEPCIÓN?

Se levanta la excepción:

• Detener la ejecución normal del programa.

• Llamar a un subprograma (manejador de excepciones) que debe ejecutar acciones especiales.

Conceptos fundamentales

• MENEJADOR DE EXCEPCIONES

Subprograma encargado de llevar acabo un conjunto de instrucciones que se ejecutan después de una excepción.

• LEVANTAR EXCEPCIÓN

Acción de advertir una excepción en tiempo de ejecución.

2. Tipos de excepciones:

1. Manejo en lenguajes que no contenían implícito el manejo de excepciones

2. Manejo en lenguajes que sí lo contienen y permiten tener:

– Excepciones predefinidas por el lenguaje

(Implícitas)– Excepciones definidas por el programador

(Explícitas)

Ejemplo C:

if (function_call(parameters) == AN_ERROR) {/* Código para el manejo del error */} else {/* Código de retorno normal */};

• Cumple la propiedad de la simplicidad • Permite que las acciones de recuperación

sean programadas • El código no está separado de la actividad

normal

Técnica de Bifurcación forzada:

– Es una técnica de muy bajo nivel que se utiliza en lenguaje ensamblador.

call rutina

jmp error_1

jmp error_2

; Procesamiento normal

• Difícil de comprender y usar

• El código no está separado de la actividad normal

• Permite programar las acciones de recuperación

Procedure sub is

valorprohibido: exception;

--otras declaraciones de sub

Begin

--enunciados para procesamiento de sub

Exception

when valorprohibido =>

--manejador explícito

when Constraint_Error =>

--manejador implícito

when others =>

--manejador para resto excepciones

End; --EJEMPLO DE ADA

Ejemplo Constraint_Error (restricción para sensor de temperatura):

declare

subtype Temperatura is Integer range 0..100;

begin

-- Leer la temperatura del sensor y calcular su valor . . .

exception

-- manejador para Constraint_Error

end;

Algunas veces no es posible determinar la causa de la excepción:

declare

subtype Temperatura is Integer range 0..100;

subtype Presión is Integer range 0..50;

begin

-- Leer el sensor de temperatura

-- Leer el sensor de presión

. . .

exception

-- manejador para Constraint_Error

end;

Solución (aumentar el número de bloques)begin

begin-- Leer el sensor de temperatura y calcular su valor exception-- Manejador para Constraint_Error para la temperaturaend;

begin-- Leer el sensor de presión y calcular su valor exception-- Manejador para Constraint_Error para la presiónend;

exception-- manejador para otras excepciones

end; --Problema: la realización es larga y pesada.

Levantamiento con restricción explícita de una excepción

Una excepción puede ser levantada mediante una operación primitiva del propio lenguaje.

Donde, alternativamnete, el programador podría plantear de manera explícita una restricción (dependerá de si el lenguaje posee algún medio para instrumentarla)

Ejemplo (ADA):

If X=0 then

raise valorprohibido end if;

• El lenguaje contiene un subprograma con el manejador para la excepción planteada.

• La instrucción raise transfiere el control al manejador asociado.

Manejo de errores (ML):

Exception denominadormalo of int;

Fun InnerDivide(a:int, b:int):real=

if b=0 then raise DenominadorMalo(b)

else real(a)/real(b);

Fun Divide(a,b)=InnerDivide(a,b) handle

DenominatorMalo(b) => (print(b); “indeterminación, se usó=0”; 0.0);

La ejecución continua

Ejemplo C++:

Try{

Enunciado1;

...

If condicionmala {throw Nombreexcepción};

Catch Nombreexcepción { instrucción1 ...}

}

La ejecución se detiene

3. Propagación de excepciones y Acción posterior a la excepción

Propagación de excepciones

• Cuando no existe un manejador local para una excepción, se busca un manejador a lo largo de la cadena de invocadores en tiempo de ejecución.

Problema: Una excepción se puede propagar fuera de su ámbito de visibilidad.

Solución: Manejadores por defecto para excepciones desconocidas (catch all).

Propagación de excepciones

Subprog A

Subprog B

Excepción E

E Es manejada por el manejador definido en B, y sino existe se propaga a A. De lo contrario se invoca al manejador Estandar definido por el programa.

¿Qué hacer Después de manejar la excepción?

Cuando el manejador termina se pueden hacer dos cosas:

• Reanudar la ejecución del bloque

• Terminar la ejecución del bloque y devolver el control al punto de invocación.

Modelo de reanudaciónvuelve a ejecutar el procedimiento desde donde se

levanto el error

Modelo de terminaciónse regresa a ejecutar a partir del procedimiento

invocador

Ejemplo (ADA):

package body Pila isMax : constant:= 100;p : array (1..Max) of Integer;top : Integer range 0..Max;

procedure Push( x : Integer) is begintop:= top+1;p(top):= x;end Push;end Pila;

Si creamos un procedimiento llamado Principal que invoque a Push cuando la pila esté llena, el incremento de top producirá Constraint_Error. Ya que Push no maneja excepciones, la excepción se propagará al contexto del invocante.

¿Podemos asegurar que cuando se levante Constraint_Error en Principal es siempre debido a un desbordamiento de pila?

Una mejor forma:

FIN DE MANEJO DE EXCEPCIONES