public void writeList() {
    PrintStream pStr = null;

    try {
        int i;

        System.out.println("Entrando en la Sentencia try");
        pStr = new PrintStream(
                new BufferedOutputStream(
                 new FileOutputStream("OutFile.txt")));

        for (i = 0; i < size; i++)
            pStr.println("Value at: " + i + " = " + victor.elementAt(i));
    } catch (ArrayIndexOutOfBoundsException e) {
        System.err.println("Caught ArrayIndexOutOfBoundsException: " + e.getMessage());
    } catch (IOException e) {
        System.err.println("Caught IOException: " + e.getMessage());
    } finally {
        if (pStr != null) {
            System.out.println("Cerrando PrintStream");
            pStr.close();
        } else {
            System.out.println("PrintStream no está abierto");
        }
    }
}

1. La sentencia new FileOutputStream falla y lanza una IOException.
2. La sentencia victor.elementAt(i) falla y lanza una ArrayIndexOutOfBoundsException.
3. Todo tiene éxito y la sentencia try sale normalmente.

Escenario 1:Ocurre una excepción IOException

La sentencia new FileOutputStream("OutFile.txt") puede fallar por varias razones: el usuario no tiene permiso de escritura sobre el fichero o el directorio, el sistema de ficheros está lleno, o no existe el directorio. Si cualquiera de estas situaciones es verdadera el constructor de FileOutputStream lanza una excepción IOException.

Cuando se lanza una excepción IOException, el sistema de ejecución para inmediatamente la ejecución del bloque try. Y luego intenta localizar un manejador de excepción apropiado para manejar una IOException.

El sistema de ejecución comienza su búsqueda al principio de la pila de llamadas. Cuando ocurrió la excepción, el constructor de FileOutputStream estaba al principio de la pila de llamadas. Sin embargo, este constructor no tiene un manejador de excepción apropiado por lo que el sistema comprueba el siguiente método que hay en la pila de llamadas -- el método writeList(). Este método tiene dos manejadores de excepciones: uno para ArrayIndexOutOfBoundsException y otro para IOException.

El sistema de ejecución comprueba los manejadores de writeList() por el orden en el que aparecen después del bloque try. El primer manejador de excepción cuyo argumento corresponda con el de la excepción lanzada es el elegido por el sistema de ejecución. (El orden de los manejadores de excepción es importante!) El argumento del primer manejador es una ArrayIndexOutOfBoundsException, pero la excepción que se ha lanzado era una IOException. Una excepción IOException no puede asignarse legalmente a una ArrayIndexOutOfBoundsException, por eso el sistema de ejecución continúa la búsqueda de un manejador de excepción apropiado.

El argumento del segundo manejador de excepción de writeList() es una IOException. La excepción lanzada por el constructor de FileOutputStream también es una una IOException y por eso puede ser asignada al argumento del manejador de excepciones de IOException. Así, este manejador parece el apropiado y el sistema de ejecución ejecuta el manejador, el cual imprime esta sentencia:

Caught IOException: OutFile.txt

Después de que se haya ejecutado el manejador de excepción, el sistema pasa el control al bloque finally. En este escenario particular, el canal PrintStream nunca se ha abierto, así el pStr es null y no se cierra. Después de que se haya completado la ejecución del bloque finally, el programa continua con la primera sentencia después de este bloque.

La salida completa que se podrá ver desde el programa ListOfNumbers cuando se lanza un excepción IOException es esta:

Entrando en la sentecia try
Caught IOException: OutFile.txt
PrintStream no está abierto

Escenario 2: Ocurre una excepción ArrayIndexOutOfBoundsException

Este escenario es el mismo que el primero excepto que ocurre un error diferente dentro del bloque try. En este escenario, el argumento pasado al método elementAt() de Vector está fuera de límites. Esto es, el argumento es menor que cero o mayor que el tamaño del array. (De la forma en que está escrito el código, esto es realmente imposible, pero supongamos que se ha introducido un error cuando alguien lo ha modificado).

Como en el escenario 1, cuando ocure una excepción el sistema de ejecución para la ejecución del bloque try e intenta localizar un manejador de excepción apropiado para ArrayIndexOutOfBoundsException. El sistema busca como lo hizo anteriormente. Llega a la sentencia catch en el método writeList() que maneja excepciones del tipo ArrayIndexOutOfBoundsException. Como el tipo de la excepción corresponde con el de el manejador, el sistema ejecuta el manejador de excepción.

Después de haber ejecutado el manejador de excepción, el sistema pasa el control al bloque finally. En este escenario particular, el canal PrintStream si que se ha abierto, así que el bloque finally lo cerrará. Después de que el bloque finally haya completado su ejecución, el programa continúa con la primera sentencia después de este bloque.

Aquí tienes la salida completa que dará el programa ListOfNumbers si ocurre una excepción ArrayIndexOutOfBoundsException:

Entrando en la sentencia try
Caught ArrayIndexOutOfBoundsException: 10 >= 10
Cerrando PrintStream

Escenario 3: El bloque try sale normalmente

En este escenario, todas las sentencias dentro del ámbito del bloque try se ejecutan de forma satisfactoria y no lanzan excepciones. La ejecución cae al final del bloque try y el sistema pasa el control al bloque finally. Como todo ha salido satisfactorio, el PrintStream abierto se cierra cuando el bloque finally consigue el control. De nuevo, Después de que el bloque finally haya completado su ejecución, el programa continúa con la primera sentencia después de este bloque.

Aquí tienes la salida cuando el programa ListOfNumbers cuando no se lanzan excepciones:

Entrando en la sentencia try
Cerrando PrintStream

Ozito