assert x instanceof String : bar() | |
return x.isEmpty() | |
----- | |
0(1) element: null | |
1(2) element: ASSERT statement | |
2(3) READ x | |
3(4,6) Condition Instanceof expression | |
4(5) instanceof: x instanceof String | |
5(7) Negating goto instruction, condition=3Instanceof expression | |
6(9) instanceof: x instanceof String | |
7(8) READ bar | |
8(11) THROW. element: ASSERT statement | |
9(10) READ x | |
10(11) element: RETURN statement | |
11() element: null |