VarArgRe.java

import org.checkerframework.common.value.qual.IntVal;
import testlib.lib.VarArgMethods;

public class VarArgRe {
    // VarArgMethods is declarded in framework/tests/src/testlib/lib.
    // All the methods return the length of the vararg.
    public void use0() {
        @IntVal(0) int i1 = VarArgMethods.test0();
        @IntVal(1) int i2 = VarArgMethods.test0(-1);
        @IntVal(5) int i3 = VarArgMethods.test0(0, "sldfj", 0, 234, 234);
    }

    public void use1() {
        @IntVal(0) int i1 = VarArgMethods.test1("13");
        @IntVal(1) int i2 = VarArgMethods.test1("13", -1);
        @IntVal(5) int i3 = VarArgMethods.test1("13", 0, "sldfj", 0, 234, 234);
    }

    public void use2() {
        @IntVal(0) int i1 = VarArgMethods.test2("", "");
        @IntVal(1) int i2 = VarArgMethods.test2("", "", -1);
        @IntVal(5) int i3 = VarArgMethods.test2("", "", 0, "sldfj", 0, 234, 234);
    }
}