String.[last]indexOf() patch

[Mark Wielaard]

Hi,

I made the following patch to fix a small problem pointed out by Patrick
Doyle in http://mail.gnu.org/pipermail/classpath/2001-August/001112.html
It only affects empty strings. It is based on the patch provided in
http://savannah.gnu.org/patch/?func=detailpatch&patch_id=23&group_id=85

2002-02-15  Mark Wielaard <address@hidden>

    Thanks to Patrick Doyle
    * java/lang/String.java (indexOf(String,int)): account for empty
    string.
    (lastIndexOf(String): account for empty string, and small
    optimization.
    (lastIndexOf(String,int): small optimization.

I also made Mauve tests that will hopefully go into Mauve.

Cheers,

Mark

String.diff
Description: Text document