Add pipe to input stream

runtime/bin/input_stream.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * Input is read from a given input stream. Such an input stream can
  * be an endpoint, e.g., a socket or a file, or another input stream.
  * Multiple input streams can be chained together to operate collaboratively
  * on a given input.
  */
@@ skipping 13 matching lines @@
    * specified the length of [buffer] is used.
    */
   int readInto(List<int> buffer, [int offset, int len]);
 
   /**
    * Returns the number of bytes available for immediate reading.
    */
   int available();
 
   /**
+   * Pipe the content of this input stream directly to the output
+   * stream [output]. The default behavior is to close the output when
+   * all the data from the input stream have been written. Specifying
+   * [:false:] for the optional argument [close] keeps the output
+   * stream open after writing all data from the input stream. The
+   * default value for [close] is [:true:].
+   */
+  void pipe(OutputStream output, [bool close]);
+
+  /**
    * Returns whether the stream is closed. There will be no more data
    * to read.
    */
   bool get closed();
 
   /**
    * Sets the handler that gets called when data is available.
    */
   void set dataHandler(void callback());
 
@@ skipping 120 matching lines @@
    */
   void set errorHandler(void callback());
 }
 
 
 class StreamException implements Exception {
   const StreamException([String this.message = ""]);
   String toString() => "StreamException: $message";
   final String message;
 }