Integrated: 8303648: Add String.indexOf(String str, int beginIndex, int endIndex)

Tue Mar 21 08:46:52 UTC 2023

On Tue, 7 Mar 2023 14:44:32 GMT, Raffaello Giulietti <rgiulietti at 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.

This pull request has now been integrated.

Changeset: 4bf1fbb0
Author:    Raffaello Giulietti <rgiulietti at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4bf1fbb06d63b4c52bfd3922beb2adf069e25b09
Stats:     252 lines in 2 files changed: 237 ins; 5 del; 10 mod

8303648: Add String.indexOf(String str, int beginIndex, int endIndex)

Reviewed-by: rriggs

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

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