Data Structures and Algorithms in Java[1].pdf - Fulvio Frisone

try
main_block_of_statements
catch (exception_type 1 variable 1 )
block_of_statements 1
catch (exception_type 2 variable 2 )
…
block_of_statements 2
finally
block_of_statements n
where there must be at least one catch part, but the finally part is optional.
Each exception_type i is the type of some exception, and each variable i is a valid
Java variable name.
The Java run-time environment begins performing a try-catch block such as
this by executing the block of statements, main_block_of_statements. If this
execution generates no exceptions, then the flow of control continues with the first
statement after the last line of the entire try-catch block, unless it includes an
optional finally part. The finally part, if it exists, is executed regardless of
whether any exceptions are thrown or caught. Thus, in this case, if no exception is
thrown, execution progresses through the try-catch block, jumps to the
finally part, and then continues with the first statement after the last line of the
try-catch block.
If, on the other hand, the block, main_block_of_statements, generates an
exception, then execution in the try-catch block terminates at that point and
execution jumps to the catch block whose exception_type most closely matches
the exception thrown. The variable for this catch statement references the exception
object itself, which can be used in the block of the matching catch statement.
Once execution of that catch block completes, control flow is passed to the
optional finally block, if it exists, or immediately to the first statement after the
last line of the entire try-catch block if there is no finally block. Otherwise,
if there is no catch block matching the exception thrown, then control is passed to
the optional finally block, if it exists, and then the exception is thrown back to
the calling method.
Consider the following example code fragment:
int index = Integer.MAX_VALUE; // 2.14 Billion
114