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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
import org.checkerframework.checker.initialization.qual.*;
import org.checkerframework.checker.nullness.qual.*;
public class Lazy {
@NonNull String f;
@MonotonicNonNull String g;
@MonotonicNonNull String g2;
@org.checkerframework.checker.nullness.qual.MonotonicNonNull String _g;
@org.checkerframework.checker.nullness.qual.MonotonicNonNull String _g2;
// Initialization with null is allowed for legacy reasons.
@MonotonicNonNull String init = null;
public Lazy() {
f = "";
// does not have to initialize g
}
void test() {
g = "";
test2(); // retain non-null property across method calls
g.toLowerCase();
}
void _test() {
_g = "";
test2(); // retain non-null property across method calls
_g.toLowerCase();
}
void test2() {}
void test3() {
// :: error: (dereference.of.nullable)
g.toLowerCase();
}
void test4() {
// :: error: (assignment.type.incompatible)
g = null;
// :: error: (monotonic.type.incompatible)
g = g2;
}
void _test3() {
// :: error: (dereference.of.nullable)
_g.toLowerCase();
}
void _test4() {
// :: error: (assignment.type.incompatible)
_g = null;
// :: error: (monotonic.type.incompatible)
_g = _g2;
}
}
|
