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
|
/*
* @test
* @summary Test that the stub files get invoked
* @compile/fail/ref=NonDefaultConstructor.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Alint NonDefaultConstructor.java
*/
import org.checkerframework.checker.nullness.qual.MonotonicNonNull;
class NonDefaultConstructor {
Object nonNull = 4;
Object nullObject;
@MonotonicNonNull Object lazyField;
// error doesn't initialize nullObject
public NonDefaultConstructor() {}
// error doesn't initialize nullObject
public NonDefaultConstructor(int i) {
lazyField = "m";
}
// OK, lazyField is lazy!
public NonDefaultConstructor(double a) {
nullObject = "n";
}
public NonDefaultConstructor(String s) {
nullObject = "a";
lazyField = "m";
}
public Object getNull() {
return nullObject;
}
}
|
