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
|
import org.checkerframework.checker.nullness.qual.*;
// TODO: Add as test
class RefineArray {
public static <T> T[] concat(T @Nullable [] a, T @Nullable [] b) {
if (a == null) {
if (b != null) {
return b;
} else {
@SuppressWarnings("unchecked")
T[] result = (T[]) new Object[0];
return result;
}
} else {
if (b == null) {
return a;
} else {
@SuppressWarnings("unchecked")
T[] result = (T[]) new @MonotonicNonNull Object[a.length + b.length];
System.arraycopy(a, 0, result, 0, a.length);
System.arraycopy(b, 0, result, a.length, b.length);
return result;
}
}
}
}
|
