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