checker/tests/index/IndexOf.java

// Test case for issue #169: https://github.com/kelloggm/checker-framework/issues/169

// @skip-test until the issue is fixed

public class IndexOf {

  public static String m(String arg) {
    int split_pos = arg.indexOf(",-");
    if (split_pos == 0) {
      // Just discard the ',' if ",-" occurs at begining of string
      arg = arg.substring(1);
    }
    return arg;
  }
}