LengthTransfer2.java

// 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]);
    }
}