| try { | |
| a | |
| } catch (Exception e) { | |
| b | |
| } finally { | |
| c | |
| } | |
| ----- | |
| 0(1) element: null | |
| 1(2) element: Open block | |
| 2(3) READ a | |
| 3(9) element: Reference expression MAYBE_RETURN | |
| 4(5) element: Catch clause | |
| 5(6) WRITE e | |
| 6(7) READ b | |
| 7(11) element: Reference expression MAYBE_RETURN | |
| 8(13) element: Finally clause | |
| 9(8,10) CALL 8 | |
| 10(15) AFTER CALL 9 | |
| 11(8,12) CALL 8 | |
| 12(15) AFTER CALL 11 | |
| 13(14) READ c | |
| 14(10,12) RETURN | |
| 15() element: null |