// 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; | |
} | |
} |