PipedReader.java (ready): Throw IOException if pipe closed.
authorTom Tromey <tromey@redhat.com>
Tue, 13 Feb 2001 18:55:13 +0000 (18:55 +0000)
committerTom Tromey <tromey@gcc.gnu.org>
Tue, 13 Feb 2001 18:55:13 +0000 (18:55 +0000)
* java/io/PipedReader.java (ready): Throw IOException if pipe
closed.
* java/io/FilterReader.java (close): Don't clear `in'.
* java/io/CharArrayReader.java (mark): Throw IOException if stream
closed.
(read, ready, reset, skip): Added exception message.
* java/io/BufferedReader.java (mark, reset, ready, read, skip):
Perform checkStatus check inside synchronized block.

From-SVN: r39641

libjava/ChangeLog
libjava/java/io/BufferedReader.java
libjava/java/io/CharArrayReader.java
libjava/java/io/FilterReader.java
libjava/java/io/PipedReader.java

index 12583549c341321f1ffb0ddcdf0e58ad4fd91c2b..70ccbd2fce2e051794ce4e7c13a864859eab9cce 100644 (file)
@@ -1,3 +1,14 @@
+2001-02-13  Tom Tromey  <tromey@redhat.com>
+
+       * java/io/PipedReader.java (ready): Throw IOException if pipe
+       closed.
+       * java/io/FilterReader.java (close): Don't clear `in'.
+       * java/io/CharArrayReader.java (mark): Throw IOException if stream
+       closed.
+       (read, ready, reset, skip): Added exception message.
+       * java/io/BufferedReader.java (mark, reset, ready, read, skip):
+       Perform checkStatus check inside synchronized block.
+
 2001-02-13  Tom Tromey  <tromey@redhat.com>
 
        * gnu/awt/j2d/AbstractGraphicsState.java (clone): Made public.
index 9a293da5cd38c0e662a9e766775b40dcc9a14cef..6c54f0303490221b9ccf770d0ba1dff62ce5f9e0 100644 (file)
@@ -1,4 +1,4 @@
-/* Copyright (C) 1998, 1999, 2000  Free Software Foundation
+/* Copyright (C) 1998, 1999, 2000, 2001  Free Software Foundation
 
    This file is part of libgcj.
 
@@ -128,9 +128,9 @@ public class BufferedReader extends Reader
     */
   public void mark(int readLimit) throws IOException
   {
-    checkStatus();
     synchronized (lock)
       {
+       checkStatus();
        // In this method we need to be aware of the special case where
        // pos + 1 == limit.  This indicates that a '\r' was the last char
        // in the buffer during a readLine.  We'll want to maintain that
@@ -185,9 +185,9 @@ public class BufferedReader extends Reader
     */
   public void reset() throws IOException
   {
-    checkStatus();
     synchronized (lock)
       {
+       checkStatus();
        if (markPos < 0)
          throw new IOException("mark never set or invalidated");
 
@@ -215,9 +215,9 @@ public class BufferedReader extends Reader
     */
   public boolean ready() throws IOException
   {
-    checkStatus();
     synchronized (lock)
       {
+       checkStatus();
        return pos < limit || in.ready();
       }
   }
@@ -242,9 +242,9 @@ public class BufferedReader extends Reader
     */
   public int read(char[] buf, int offset, int count) throws IOException
   {
-    checkStatus();
     synchronized (lock)
       {
+       checkStatus();
        // Once again, we need to handle the special case of a readLine
        // that has a '\r' at the end of the buffer.  In this case, we'll
        // need to skip a '\n' if it is the next char to be read.
@@ -329,9 +329,9 @@ public class BufferedReader extends Reader
   
   public int read() throws IOException
   {
-    checkStatus();
     synchronized (lock)
       {
+       checkStatus();
        if (pos >= limit && fill () <= 0)
          return -1;
        return buffer[pos++];
@@ -444,11 +444,11 @@ public class BufferedReader extends Reader
     */
   public long skip(long count) throws IOException
   {
-    checkStatus();
-    if (count <= 0)
-      return 0;
     synchronized (lock)
       {
+       checkStatus();
+       if (count <= 0)
+         return 0;
        // Yet again, we need to handle the special case of a readLine
        // that has a '\r' at the end of the buffer.  In this case, we need
        // to ignore a '\n' if it is the next char to be read.
index 195403684c269c05f14311b9001bed189a6406eb..0a77998445f8d11f6ecd380ba6c52745d1ca040f 100644 (file)
@@ -1,4 +1,4 @@
-/* Copyright (C) 1998, 1999  Free Software Foundation
+/* Copyright (C) 1998, 1999, 2001  Free Software Foundation
 
    This file is part of libgcj.
 
@@ -63,10 +63,12 @@ public class CharArrayReader extends Reader
     }
   }
 
-  public void mark(int readAheadLimit)
+  public void mark(int readAheadLimit) throws IOException
   {
     synchronized (lock)
     {
+      if (buf == null)
+       throw new IOException("Stream closed");
       // readAheadLimit is ignored per Java Class Lib. book, p. 318.
       markedPos = pos;
     }
@@ -82,7 +84,7 @@ public class CharArrayReader extends Reader
     synchronized (lock)
     {
       if (buf == null)
-        throw new IOException();
+       throw new IOException("Stream closed");
 
       if (pos < 0)
         throw new ArrayIndexOutOfBoundsException(pos);
@@ -98,7 +100,7 @@ public class CharArrayReader extends Reader
     synchronized (lock)
     {
       if (buf == null)
-        throw new IOException();
+       throw new IOException("Stream closed");
 
       /* Don't need to check pos value, arraycopy will check it. */
       if (off < 0 || len < 0 || off + len > b.length)
@@ -117,7 +119,7 @@ public class CharArrayReader extends Reader
   public boolean ready() throws IOException
   {
     if (buf == null)
-      throw new IOException();
+      throw new IOException("Stream closed");
 
     return true;
   }
@@ -127,7 +129,7 @@ public class CharArrayReader extends Reader
     synchronized (lock)
     {
       if (buf == null)
-        throw new IOException();
+       throw new IOException("Stream closed");
 
       pos = markedPos;
     }
@@ -138,7 +140,7 @@ public class CharArrayReader extends Reader
     synchronized (lock)
     {
       if (buf == null)
-        throw new IOException();
+       throw new IOException("Stream closed");
 
       // Even though the var numChars is a long, in reality it can never
       // be larger than an int since the result of subtracting 2 positive
index bce70cc6edacc62d73dc3dbb0e024d3cdcc5730a..608f910ccbd3f1cf139692c5e7a91817d63d9577 100644 (file)
@@ -1,4 +1,4 @@
-/* Copyright (C) 1998, 1999  Free Software Foundation
+/* Copyright (C) 1998, 1999, 2001  Free Software Foundation
 
    This file is part of libgcj.
 
@@ -31,8 +31,11 @@ public abstract class FilterReader extends Reader
 
   public void close() throws IOException
   {
+    // We used to set `in = null' here.  We don't, though, because
+    // that is the simplest way to ensure that read-after-close will
+    // throw the appropriate exception -- we rely on the filtered
+    // stream to do it.
     in.close();
-    in = null;
   }
 
   public synchronized void mark(int readlimit) throws IOException
index 8047d55a437895e358c7afa89e928476ca118113..07569eb1dc11fdf561de69743825c2c3cd0a1d19 100644 (file)
@@ -312,10 +312,15 @@ public class PipedReader extends Reader
   public boolean ready() throws IOException
   {
     // The JDK 1.3 implementation does not appear to check for the closed or 
-    // unconnected stream conditions here.
+    // unconnected stream conditions here.  However, checking for a
+    // closed stream is explicitly required by the JDK 1.2 and 1.3
+    // documentation (for Reader.close()), so we do it.
     
     synchronized (lock)
     {
+      if (closed)
+       throw new IOException("Pipe closed");
+
       if (in < 0)
        return false;