| try { |
| assert x instanceof String : bar() |
| } |
| catch (java.lang.AssertionError e) { |
| return true |
| } |
| |
| return x.isEmpty() |
| ----- |
| 0(1) element: null |
| 1(2) element: Open block |
| 2(3) element: ASSERT statement |
| 3(4) READ x |
| 4(5,7) Condition Instanceof expression |
| 5(6) instanceof: x instanceof String |
| 6(8) Negating goto instruction, condition=4Instanceof expression |
| 7(14) instanceof: x instanceof String |
| 8(9) READ bar |
| 9(10,11) THROW. element: Method call |
| 10(11) THROW. element: ASSERT statement |
| 11(12) element: Catch clause |
| 12(13) WRITE e |
| 13(16) element: RETURN statement |
| 14(15) READ x |
| 15(16) element: RETURN statement |
| 16() element: null |