checker/tests/index/StartsEndsWith.java

// Tests string length refinement after startsWith or endsWith return true
// https://github.com/kelloggm/checker-framework/issues/56

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

public class StartsEndsWith {

  // This particular test is here rather than in the framework tests because it depends on purity
  // annotations for these particular JDK methods.
  void refineStartsConditional(String str, String prefix) {
    if (prefix.length() > 10 && str.startsWith(prefix)) {
      @MinLen(11) String s11 = str;
    }
  }
}

class StartsEndsWithExternal {
  public static final String staticFinalField = "str";
}