Re: RFR: 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) [v3]

2023-03-13 Thread Raffaello Giulietti
> 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

Re: RFR: 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) [v2]

2023-03-10 Thread Roger Riggs
On Fri, 10 Mar 2023 13:35:27 GMT, Raffaello Giulietti 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 increme

Re: RFR: 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) [v2]

2023-03-10 Thread Raffaello Giulietti
On Fri, 10 Mar 2023 12:52:21 GMT, Alan Bateman wrote: >> 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(Strin

Re: RFR: 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) [v2]

2023-03-10 Thread Raffaello Giulietti
> 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

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

2023-03-10 Thread Alan Bateman
On Tue, 7 Mar 2023 14:44:32 GMT, Raffaello Giulietti 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. src/java.base/share/classes/java/lang/String.java line 2626: >

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

2023-03-07 Thread Raffaello Giulietti
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. - Commit messages: - 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) Changes: https://git.openj