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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
|
import java.util.Iterator;
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.framework.qual.DefaultQualifier;
import org.checkerframework.framework.qual.DefaultQualifiers;
import org.checkerframework.framework.qual.TypeUseLocation;
public class DefaultAnnotation {
public void testNoDefault() {
String s = null;
}
@DefaultQualifiers(
@DefaultQualifier(
value = org.checkerframework.checker.nullness.qual.NonNull.class,
locations = {TypeUseLocation.ALL}))
public void testDefault() {
// :: error: (assignment.type.incompatible)
String s = null; // error
List<String> lst = new List<>(); // valid
// :: error: (argument.type.incompatible)
lst.add(null); // error
}
@DefaultQualifier(
value = org.checkerframework.checker.nullness.qual.NonNull.class,
locations = {TypeUseLocation.ALL})
public class InnerDefault {
public void testDefault() {
// :: error: (assignment.type.incompatible)
String s = null; // error
List<String> lst = new List<>(); // valid
// :: error: (argument.type.incompatible)
lst.add(null); // error
s = lst.get(0); // valid
List<@Nullable String> nullList = new List<>(); // valid
nullList.add(null); // valid
// :: error: (assignment.type.incompatible)
s = nullList.get(0); // error
}
}
@DefaultQualifier(
value = org.checkerframework.checker.nullness.qual.NonNull.class,
locations = {TypeUseLocation.ALL})
public static class DefaultDefs {
public String getNNString() {
return "foo"; // valid
}
public String getNNString2() {
// :: error: (return.type.incompatible)
return null; // error
}
public <T extends @Nullable Object> T getNull(T t) {
// :: error: (return.type.incompatible)
return null; // invalid
}
public <T extends @NonNull Object> T getNonNull(T t) {
// :: error: (return.type.incompatible)
return null; // error
}
}
public class DefaultUses {
public void test() {
DefaultDefs d = new DefaultDefs();
@NonNull String s = d.getNNString(); // valid
}
@DefaultQualifier(
value = org.checkerframework.checker.nullness.qual.NonNull.class,
locations = {TypeUseLocation.ALL})
public void testDefaultArgs() {
DefaultDefs d = new DefaultDefs();
// :: error: (assignment.type.incompatible)
String s1 = d.<@Nullable String>getNull(null); // error
String s2 = d.<String>getNonNull("foo"); // valid
// :: error: (type.argument.type.incompatible) :: error: (assignment.type.incompatible)
String s3 = d.<@Nullable String>getNonNull("foo"); // error
}
}
@DefaultQualifier(value = org.checkerframework.checker.nullness.qual.NonNull.class)
static class DefaultExtends implements Iterator<String>, Iterable<String> {
@Override
public boolean hasNext() {
throw new UnsupportedOperationException();
}
@Override
public void remove() {
throw new UnsupportedOperationException();
}
@Override
public String next() {
throw new UnsupportedOperationException();
}
@Override
public Iterator<String> iterator() {
return this;
}
}
class List<E extends @Nullable Object> {
public E get(int i) {
throw new RuntimeException();
}
public boolean add(E e) {
throw new RuntimeException();
}
}
@DefaultQualifier(value = NonNull.class)
public void testDefaultUnqualified() {
// :: error: (assignment.type.incompatible)
String s = null; // error
List<String> lst = new List<>(); // valid
// :: error: (argument.type.incompatible)
lst.add(null); // error
}
}
|
