On Fri, 10 Mar 2023 13:35:27 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> As a followup of [JDK-8302590](https://bugs.openjdk.org/browse/JDK-8302590), >> this issue covers the analogous case for a search of a string rather than a >> character. > > Raffaello Giulietti has updated the pull request incrementally with one > additional commit since the last revision: > > 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) > > Moved @apiNote on indexOf(String,int) before @param/@return. > Rephrased first sentence of indexOf(String,int,int). Marked as reviewed by rriggs (Reviewer). src/java.base/share/classes/java/lang/String.java line 2619: > 2617: * If stricter behavior is needed, {@link #indexOf(String, int, > int)} > 2618: * should be considered instead. > 2619: * On {@link String}s {@code s} and a non-empty {@code str}, for > example, Is both the normal font "s" and the code font "s" needed. I reads ok as "On String s and a non-empty str,"... ------------- PR: https://git.openjdk.org/jdk/pull/12903
