On Wed, 1 Mar 2023 18:09:32 GMT, Roger Riggs <rri...@openjdk.org> wrote:
>> Raffaello Giulietti has updated the pull request incrementally with one >> additional commit since the last revision: >> >> 8302590: Add String.indexOf(int ch, int fromIndex, int toIndex) > > This is looking good. > When the single char version settles, a separate issue/PR should consider > adding `indexOf(String str, int fromIndex, int toIndex)` providing the > similar index checking variant for finding strings. @RogerRiggs Yes, now that we settled on the "throwing" behavior, it is simpler to have a similar behavior with a future `indexOf(String str, int fromIndex, int toIndex)` ------------- PR: https://git.openjdk.org/jdk/pull/12600
