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

[Raffaello Giulietti]

On Thu, 2 Mar 2023 10:24:03 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote:

>> Add an `indexOf()` variant allowing to specify both a lower and an upper bound on the search.
>
> 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)

The last commit renames the new method's parameters to align with other methods (like `substring(int beginIndex, int endIndex)`) that check that indices are in range.
It also rephrases the `@apiNote` on `indexOf(int ch, int fromIndex)`.

-------------

PR: https://git.openjdk.org/jdk/pull/12600