checker/tests/index/Index176.java

// Test case for Issue 176:
// https://github.com/kelloggm/checker-framework/issues/176

import org.checkerframework.checker.index.qual.IndexFor;

public class Index176 {
  void test(String arglist, @IndexFor("#1") int pos) {
    int semi_pos = arglist.indexOf(";");
    if (semi_pos == -1) {
      throw new Error("Malformed arglist: " + arglist);
    }
    arglist.substring(pos, semi_pos + 1);
    // :: error: (argument)
    arglist.substring(pos, semi_pos + 2);
  }
}