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
|
import org.checkerframework.checker.nullness.qual.*;
public class PolymorphismArrays {
public PolymorphismArrays(String[][] elts) {
this.elts = elts;
}
public static boolean @PolyNull [] bad(boolean @PolyNull [] seq) {
// Cannot directly return null;
// :: error: (return.type.incompatible)
return null;
}
public static boolean @PolyNull [] slice(boolean @PolyNull [] seq, int start, int end) {
// Know from comparison that argument is nullable -> also return is nullable.
if (seq == null) {
return null;
}
return new boolean[] {};
}
public static boolean @PolyNull [] slice(boolean @PolyNull [] seq, long start, int end) {
return slice(seq, (int) start, end);
}
public static @PolyNull String[] intern(@PolyNull String[] a) {
return a;
}
// from OneOfStringSequence.java
private String[][] elts;
@SuppressWarnings("purity") // ignore, analysis too strict.
@org.checkerframework.dataflow.qual.Pure
public PolymorphismArrays clone() {
PolymorphismArrays result = new PolymorphismArrays(elts.clone());
for (int i = 0; i < elts.length; i++) {
result.elts[i] = intern(elts[i].clone());
}
return result;
}
public void simplified() {
String[][] elts = new String[0][0];
String[][] clone = elts.clone();
String[] results = intern(elts[0].clone());
}
public static <T> int indexOf(T[] a) {
return indexOfEq(a);
}
public static int indexOfEq(@PolyNull Object[] a) {
return -1;
}
}
|
