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
30
31
32
33
34
35
36
37
38
39
40
|
import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.checker.nullness.qual.EnsuresNonNullIf;
public class Conditions {
@Nullable Object f;
void test1(Conditions c) {
if (!(c.f != null)) {
return;
}
c.f.hashCode();
}
void test2(Conditions c) {
if (!(c.f != null) || 5 > 9) {
return;
}
c.f.hashCode();
}
@EnsuresNonNullIf(expression = "f", result = true)
public boolean isNN() {
return (f != null);
}
void test1m(Conditions c) {
if (!(c.isNN())) {
return;
}
c.f.hashCode();
}
void test2m(Conditions c) {
if (!(c.isNN()) || 5 > 9) {
return;
}
c.f.hashCode();
}
}
|
