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
|
import org.checkerframework.checker.initialization.qual.NotOnlyInitialized;
import org.checkerframework.checker.initialization.qual.UnderInitialization;
import org.checkerframework.checker.initialization.qual.UnknownInitialization;
public class Commitment2 {
// :: error: (assignment.type.incompatible)
Commitment2 g = create();
Commitment2 h;
@NotOnlyInitialized Commitment2 c;
@NotOnlyInitialized Commitment2 f;
public void test(@UnderInitialization Commitment2 c) {
// :: error: (initialization.invalid.field.write.initialized)
f = c;
}
public static @UnknownInitialization Commitment2 create() {
return new Commitment2();
}
// :: error: (initialization.fields.uninitialized)
public Commitment2() {}
// :: error: (initialization.fields.uninitialized)
public Commitment2(@UnderInitialization Commitment2 likeAnEagle) {
// :: error: (assignment.type.incompatible)
h = likeAnEagle;
c = likeAnEagle;
}
}
|
