1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import org.checkerframework.checker.index.qual.LTLengthOf;
public class ConstantOffsets {
void method1(int[] a, int offset, @LTLengthOf(value = "#1", offset = "-#2 - 1") int x) {}
void test1() {
int offset = -4;
int x = 4;
int[] f1 = new int[x - offset];
method1(f1, offset, x);
}
void method2(int[] a, int offset, @LTLengthOf(value = "#1", offset = "#2 - 1") int x) {}
void test2() {
int offset = 4;
int x = 4;
int[] f1 = new int[x + offset];
method2(f1, offset, x);
}
}
|
