| try { | |
| if (c) return 0 | |
| } finally { | |
| e | |
| } | |
| print e | |
| ----- | |
| 0(1) element: null | |
| 1(2) element: Open block | |
| 2(3) element: IF statement | |
| 3(4,5) READ c | |
| 4(7) element: RETURN statement | |
| 5(9) End element: IF statement | |
| 6(11) element: Finally clause | |
| 7(6,8) CALL 6 | |
| 8(17) AFTER CALL 7 | |
| 9(6,10) CALL 6 | |
| 10(13) AFTER CALL 9 | |
| 11(12) READ e | |
| 12(8,10) RETURN | |
| 13(14) READ print | |
| 14(15) READ e | |
| 15(16) ARGUMENT element: Reference expression | |
| 16(17) element: Call expression MAYBE_RETURN | |
| 17() element: null |