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
|
import java.lang.reflect.Array;
import org.checkerframework.common.value.qual.MinLen;
class ReflectArray {
void testNewInstance(int i) {
// :: error: (argument.type.incompatible)
Array.newInstance(Object.class, i);
if (i >= 0) {
Array.newInstance(Object.class, i);
}
}
void testFor(Object a) {
for (int i = 0; i < Array.getLength(a); ++i) {
Array.setInt(a, i, 1 + Array.getInt(a, i));
}
}
void testMinLen(Object @MinLen(1) [] a) {
Array.get(a, 0);
// :: error: (argument.type.incompatible)
Array.get(a, 1);
}
}
|
