1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
public class UnboxConditions {
public static void main(String[] args) {
Boolean b = null;
Boolean b1 = null;
Boolean b2 = null;
Boolean b3 = null;
Boolean b4 = null;
// :: error: (condition.nullable)
if (b) {;
}
// :: error: (condition.nullable)
b = b1 ? b : b;
// :: error: (condition.nullable)
while (b2) {;
}
do {;
// :: error: (condition.nullable)
} while (b3);
// :: error: (condition.nullable)
for (; b4; ) {;
}
// legal!
for (; ; ) {
break;
}
// Eliding the condition in a "while" is illegal Java syntax.
// while () {}
}
}
|
