/**@class java.io.PipedReader
@extends java.io.Reader

 Piped character-input streams.

 @author      Mark Reinhold
 @since       JDK1.1
*/
var PipedReader = {

/**Causes this piped reader to be connected
 to the piped  writer <code>src</code>.
 If this object is already connected to some
 other piped writer, an <code>IOException</code>
 is thrown.
 <p>
 If <code>src</code> is an
 unconnected piped writer and <code>snk</code>
 is an unconnected piped reader, they
 may be connected by either the call:
 <p>
 <pre><code>snk.connect(src)</code> </pre>
 <p>
 or the call:
 <p>
 <pre><code>src.connect(snk)</code> </pre>
 <p>
 The two
 calls have the same effect.
@param {Object {PipedWriter}} src   The piped writer to connect to.
@exception IOException  if an I/O error occurs.
*/
connect : function(  ) {},

/**Reads the next character of data from this piped stream.
 If no character is available because the end of the stream
 has been reached, the value <code>-1</code> is returned.
 This method blocks until input data is available, the end of
 the stream is detected, or an exception is thrown.
@return {Number} the next character of data, or <code>-1</code> if the end of the
             stream is reached.
@exception IOException  if the pipe is
          <a href=PipedInputStream.html#BROKEN> <code>broken</code></a>,
          {@link #connect(java.io.PipedWriter) unconnected}, closed,
          or an I/O error occurs.
*/
read : function(  ) {},

/**Reads up to <code>len</code> characters of data from this piped
 stream into an array of characters. Less than <code>len</code> characters
 will be read if the end of the data stream is reached or if
 <code>len</code> exceeds the pipe's buffer size. This method
 blocks until at least one character of input is available.
@param {Object {char[]}} cbuf     the buffer into which the data is read.
@param {Number} off   the start offset of the data.
@param {Number} len   the maximum number of characters read.
@return {Number} the total number of characters read into the buffer, or
             <code>-1</code> if there is no more data because the end of
             the stream has been reached.
@exception IOException  if the pipe is
                  <a href=PipedInputStream.html#BROKEN> <code>broken</code></a>,
                  {@link #connect(java.io.PipedWriter) unconnected}, closed,
                  or an I/O error occurs.
*/
read : function(  ) {},

/**Tell whether this stream is ready to be read.  A piped character
 stream is ready if the circular buffer is not empty.
@exception IOException  if the pipe is
                  <a href=PipedInputStream.html#BROKEN> <code>broken</code></a>,
                  {@link #connect(java.io.PipedWriter) unconnected}, or closed.
*/
ready : function(  ) {},

/**Closes this piped stream and releases any system resources
 associated with the stream.
@exception IOException  if an I/O error occurs.
*/
close : function(  ) {},


};