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
|
import java.io.*;
import java.util.Date;
import java.util.HashMap;
import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.Set;
import java.util.regex.*;
import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.framework.qual.DefaultQualifier;
@DefaultQualifier(NonNull.class)
public class ExpressionsNullness {
public static double[] returnDoubleArray() {
return new double[] {3.14, 2.7};
}
public static void staticMembers() {
Pattern.compile("^>entry *()");
System.out.println(ExpressionsNullness.class);
ExpressionsNullness.class.getAnnotations(); // valid
}
private HashMap<String, String> map = new HashMap<>();
public void test() {
@SuppressWarnings("nullness")
String s = map.get("foo");
Class<?> cl = Boolean.TYPE;
List<?> foo = new LinkedList<Object>();
// :: error: (dereference.of.nullable)
foo.get(0).toString(); // default applies to wildcard extends
Set set = new HashSet();
for (@Nullable Object o : set) System.out.println();
}
void test2() {
List<? extends @NonNull String> lst = new LinkedList<@NonNull String>();
for (String s : lst) {
s.length();
}
}
<T extends @NonNull Object> void test3(T o) {
o.getClass(); // valid
}
void test4(List<? extends @NonNull Object> o) {
o.get(0).getClass(); // valid
}
void test5() {
Comparable<Date> d = new Date();
}
void testIntersection() {
java.util.Arrays.asList("m", 1);
}
Object obj;
public ExpressionsNullness(Object obj) {
this.obj = obj;
}
}
|
