2001-10-18 Tom Tromey <tromey@redhat.com>
+ * java/io/BufferedWriter.java (write(String,int,int)): Correctly
+ check bounds.
+
* java/security/Security.java (loadProviders): Removed unused
`pname' variable. Don't create `File' object. Don't update
`providerCount'.
/* BufferedWriter.java -- Buffer output into large blocks before writing
- Copyright (C) 1998, 1999, 2000 Free Software Foundation, Inc.
+ Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
This file is part of GNU Classpath.
*/
public void write (String str, int offset, int len) throws IOException
{
- if (offset < 0 || len < 0 || offset + len < str.length())
+ if (offset < 0 || len < 0 || offset + len > str.length())
throw new ArrayIndexOutOfBoundsException ();
synchronized (lock)