2 <clause number="12.3.3.15" title="Try-catch-finally statements">
3 <paragraph>Definite assignment analysis for a try-catch-finally statement of the form: <code_example><![CDATA[
5 catch(...) catch-block-1
7 catch(...) catch-block-n
9 ]]></code_example>is done as if the statement were a try-finally statement enclosing a try-catch statement: <code_example><![CDATA[
12 catch(...) catch-block-1
14 catch(...) catch-block-n
17 ]]></code_example></paragraph>
19 <example>[Example: The following example demonstrates how the different blocks of a try statement (<hyperlink>15.10</hyperlink>) affect definite assignment. <code_example><![CDATA[
26 // neither i nor j definitely assigned
28 // i definitely assigned
31 // neither i nor j definitely assigned
33 // i definitely assigned
36 // neither i nor j definitely assigned
38 // j definitely assigned
40 // i and j definitely assigned
42 // j definitely assigned
46 ]]></code_example>end example]</example>