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
|
import java.util.Arrays;
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;
public class ArrayRefs {
public void test() {
String[] s = null;
// :: error: (dereference.of.nullable)
if (s.length > 0) {
System.out.println("s.length > 0");
}
}
public static void test2() {
Object a = new Object();
takeNNList(Arrays.<Object>asList(new Object[] {a}));
takeNNList(Arrays.asList(new Object[] {a}));
takeNNList(Arrays.asList(a, a, a));
// :: error: (argument.type.incompatible)
takeNNList(Arrays.asList(a, a, null));
}
static void takeNNList(List<Object> p) {}
<T> void test(T[] a) {
test(a);
}
List<Object> @Nullable [] antecedents_for_suppressors() {
return null;
}
public void find_suppressed_invs() {
List<Object>[] antecedents = antecedents_for_suppressors();
}
}
|
