framework/tests/value/StaticExTest.java

import org.checkerframework.common.value.qual.*;

public class StaticExTest {
  boolean flag;

  void test1() {
    String s = "helloworlod";
    @StringVal({"o", "l"}) String subString = flag ? "o" : "l";
    @IntVal({5, 0, 9}) int start = flag ? 9 : flag ? 5 : 0;
    // flag?1:flag?6:
    @IntVal({-1, 8, 9, 2, 4, 6}) int result = s.indexOf(subString, start);
  }

  void test2() {
    String s = flag ? "helloworlod" : "lololxxolxxxol";
    @StringVal({"o", "l"}) String subString = flag ? "o" : "l";
    @IntVal({0, 9}) int start = flag ? 9 : 0;
    // flag?1:flag?6:
    @IntVal({-1, 0, 1, 2, 4, 9, 12, 13}) int result3 = s.indexOf(subString, start);
  }

  void test3() {
    @IntVal({0, 1}) int offset = flag ? 0 : 1;
    char[] data = {'h', 'e', 'l', 'l', 'o', 'b', 'y', 'e', 't', 'o'};
    @IntVal({5, 6}) int charCount = flag ? 5 : 6;
    @StringVal({"hello", "ellob", "hellob", "elloby"}) String s = new String(data, offset, charCount);
  }

  void test4() {
    @IntVal({0, 1}) int offset = flag ? 0 : 1;
    char[] data1 = {'h', 'e', 'l', 'l', 'o', 'b', 'y', 'e', 't', 'o'};
    char[] data2 = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j'};
    char @StringVal({"hellobyeto", "abcdefghij"}) [] data = flag ? data1 : data2;
    @IntVal({5, 6}) int charCount = flag ? 5 : 6;
    @StringVal({"hello", "ellob", "hellob", "elloby", "abcde", "bcdef", "abcdef", "bcdefg"}) String s = new String(data, offset, charCount);
  }

  static byte[] b = new byte[0];

  void constructorsArrays() {
    char @ArrayLen(100) [] c = new char[100];
    String s = new String(c);
    new String(b);
  }
}