RFR: 8302590: Add String.indexOf(int ch, int fromIndex, int toIndex) [v4]

[Raffaello Giulietti]

On Wed, 1 Mar 2023 18:09:32 GMT, Roger Riggs <rriggs at 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