* java/lang/Float.java: As above.
(floatToRawIntBits): New method.
+ * java/io/OutputStreamWriter.java: (flush, writeChars): Throw
+ IOException if stream closed.
+
2001-02-08 Tom Tromey <tromey@redhat.com>
* java/lang/Float.java (parseFloat): New method.
-/* Copyright (C) 1998, 1999, 2000 Free Software Foundation
+/* Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation
This file is part of libgcj.
{
synchronized (lock)
{
+ if (out == null)
+ throw new IOException("Stream closed");
+
if (wcount > 0)
{
writeChars(work, 0, wcount);
private void writeChars(char[] buf, int offset, int count)
throws IOException
{
+ if (out == null)
+ throw new IOException("Stream closed");
+
while (count > 0)
{
// We must flush if out.count == out.buf.length.