| int res | |
| if (b) { | |
| res = 1 // illegall warning here | |
| try {} catch (Exception e) {} | |
| } else { | |
| res = 2 | |
| } | |
| print res | |
| ----- | |
| 0(1) element: null | |
| 1(2) element: IF statement | |
| 2(3,7) READ b | |
| 3(4) WRITE res | |
| 4(9) element: Open block | |
| 5(6) element: Catch clause | |
| 6(8,9) WRITE e | |
| 7(8) WRITE res | |
| 8(9) End element: IF statement | |
| 9(10) READ print | |
| 10(11) READ res | |
| 11(12) ARGUMENT element: Reference expression | |
| 12(13) element: Call expression MAYBE_RETURN | |
| 13() element: null |