Sección 13.10 Excepciones encadenadas

•  Las excepciones encadenadas permiten que un objeto de excepción mantenga la información de rastreo de la pila 

completa, incluyendo la información acerca de las excepciones anteriores que provocaron la excepción actual.

Sección 13.11 Declaración de nuevos tipos de excepciones

•  Una nueva clase de excepción debe extender a una clase de excepción existente, para asegurar que la clase pueda 

usarse con el mecanismo de manejo de excepciones.

Sección 13.12 Precondiciones y poscondiciones

•  La precondición de un método es una condición que debe ser verdadera al momento de invocar el método.
•  La poscondición de un método es una condición que es verdadera una vez que regresa el método con éxito.
•  Al diseñar sus propios métodos, debe establecer las precondiciones y poscondiciones en un comentario antes de la 

declaración del método.

Sección 13.13 Aserciones

•  Dentro de una aplicación, los programadores pueden establecer condiciones que asuman como verdaderas en un 

punto específi co. Estas condiciones, conocidas como aserciones, ayudan a asegurar la validez de un programa al 
atrapar errores potenciales e identifi car posibles errores lógicos.

•  Java incluye dos versiones de una instrucción 

assert

 para validar las aserciones mediante la programación.

•  Para habilitar las aserciones en tiempo de ejecución, use el modifi cador 

–ea

 al ejecutar el comando 

java

.

Terminología

ArithmeticException

, clase

aserción

assert

, instrucción

atrapar una excepción
bloque

try

 circundante

catch

, bloque

catch

, cláusula

error sincrónico

Error

, clase

evento asíncrono
Excepción
excepción encadenada
excepción no atrapada
excepción verifi cada
excepciones no verifi cadas

Exception

, clase

falla en el constructor

finally

, bloque

finally

, cláusula

fl ujo de error estándar
fl ujo de salida estándar
fuga de recursos

getClassName

, método de la clase 

StackTraceElement

getFileName

, método de la clase 

StackTraceElement

getLineNumber

, método de la clase 

StackTraceElement

getMessage

, método de la clase 

Throwable

getMethodName

, método de la clase 

StackTraceElement

getStackTrace

, método de la clase 

Throwable

InputMismatchException

, clase

lanzar una excepción
liberar un recurso
limpieza de la pila
manejador de excepciones
manejo de excepciones
modelo de reanudación del manejo de excepciones
modelo de terminación del manejo de excepciones
parámetro de excepción
poscondición
precondición

printStackTrace

, método de la clase 

Throwable

programa tolerante a fallas
punto de lanzamiento
rastreo de la pila
requerimiento de atrapar o declarar

RuntimeException

, clase

StackTraceElement

, clase

System.err

, fl ujo

throw

, instrucción

throw

, palabra clave

Throwable

, clase

throws

, cláusula

try

, bloque

try

, instrucción

try

…

catch

…

finally

, mecanismo para manejar 

excepciones

volver a lanzar una excepción

Ejercicios de autoevaluación

13.1 

Enliste cinco ejemplos comunes de excepciones.

13.2

Dé varias razones por las cuales no deban utilizarse las técnicas de manejo de excepciones para el control con-

vencional de los programas.

Ejercicios de autoevaluación 

605

13_MAQ_CAP_13_DEITEL.indd605

4/19/081:27:44AM