| /** | |
| * Reported tree kinds depend on the command-line invocation; see | |
| * org.checkerframework.checker/tests/src/tests/ReportTreeKindsTest.java | |
| */ | |
| public class TestTreeKinds { | |
| void test(boolean a, boolean b) { | |
| // :: error: (Tree.Kind.WHILE_LOOP) :: error: (Tree.Kind.CONDITIONAL_AND) | |
| while (a && b) {} | |
| if (b) {} | |
| } | |
| } |