framework/tests/value/VarArgRe.java

import org.checkerframework.common.value.qual.IntVal;
import org.checkerframework.framework.testchecker.lib.VarArgMethods;

public class VarArgRe {
  // VarArgMethods is declarded in
  // framework/tests/src/org/checkerframework/framework/testchecker/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);
  }
}