PipedOutputStream.java (write(byte[], int, int)): New method.

	* java/io/PipedOutputStream.java (write(byte[], int, int)): New
	method.

From-SVN: r31774

libjava/ChangeLog

+2000-02-03  Tom Tromey  <tromey@cygnus.com>
+
+	* java/io/PipedOutputStream.java (write(byte[], int, int)): New
+	method.
+
 2000-02-01  Tom Tromey  <tromey@cygnus.com>
 
 	* include/java-interp.h (_Jv_JNI_conversion_call): Declare.

libjava/java/io/PipedOutputStream.java

 // PipedOutputStream.java - Write bytes to a pipe.
 
-/* Copyright (C) 1998, 1999  Red Hat, Inc.
+/* Copyright (C) 1998, 1999, 2000  Red Hat, Inc.
 
    This file is part of libgcj.
 
@@ -81,12 +81,15 @@ public class PipedOutputStream extends OutputStream
     destination.receive(oneByte);
   }
 
-  // This is mentioned in the JCL book, but we don't really need it.
-  // If there were a corresponding receive() method on
-  // PipedInputStream then we could get better performance using
-  // this.
-  // public void write (byte[] buffer, int offset, int count)
-  // throws IOException;
+  public void write (byte[] buffer, int offset, int count) throws IOException
+  {
+    if (closed)
+      throw new IOException ();
+    if (offset < 0 || count < 0 || offset + count > buffer.length)
+      throw new ArrayIndexOutOfBoundsException ();
+    for (int i = 0; i < count; ++i)
+      destination.receive (buffer[offset + i]);
+  }
 
   // Instance variables.
   private PipedInputStream destination;