1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// Test case for issue #64: https://github.com/kelloggm/checker-framework/issues/64
import org.checkerframework.common.value.qual.*;
class LengthTransfer2 {
public static void main(String[] args) {
if (args.length != 2) {
System.err.println("Needs 2 arguments, got " + args.length);
System.exit(1);
}
int limit = Integer.parseInt(args[0]);
int period = Integer.parseInt(args[1]);
}
void m(String @ArrayLen(2) [] args) {
int limit = Integer.parseInt(args[0]);
int period = Integer.parseInt(args[1]);
}
}
|
