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

 Reads text from a character-input stream, buffering characters so as to
 provide for the efficient reading of characters, arrays, and lines.

 <p> The buffer size may be specified, or the default size may be used.  The
 default is large enough for most purposes.

 <p> In general, each read request made of a Reader causes a corresponding
 read request to be made of the underlying character or byte stream.  It is
 therefore advisable to wrap a BufferedReader around any Reader whose read()
 operations may be costly, such as FileReaders and InputStreamReaders.  For
 example,

 <pre>
 BufferedReader in
   = new BufferedReader(new FileReader("foo.in"));
 </pre>

 will buffer the input from the specified file.  Without buffering, each
 invocation of read() or readLine() could cause bytes to be read from the
 file, converted into characters, and then returned, which can be very
 inefficient.

 <p> Programs that use DataInputStreams for textual input can be localized by
 replacing each DataInputStream with an appropriate BufferedReader.

 @see FileReader
 @see InputStreamReader
 @see java.nio.file.Files#newBufferedReader

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

/**Reads a single character.
@return {Number} The character read, as an integer in the range
         0 to 65535 (<tt>0x00-0xffff</tt>), or -1 if the
         end of the stream has been reached
@exception IOException  If an I/O error occurs
*/
read : function(  ) {},

/**Reads characters into a portion of an array.

 <p> This method implements the general contract of the corresponding
 <code>{@link java.io.Reader#read(char[], int, int) read}</code> method of the
 <code>{@link java.io.Reader}</code> class.  As an additional convenience, it
 attempts to read as many characters as possible by repeatedly invoking
 the <code>read</code> method of the underlying stream.  This iterated
 <code>read</code> continues until one of the following conditions becomes
 true: <ul>

   <li> The specified number of characters have been read,

   <li> The <code>read</code> method of the underlying stream returns
   <code>-1</code>, indicating end-of-file, or

   <li> The <code>ready</code> method of the underlying stream
   returns <code>false</code>, indicating that further input requests
   would block.

 </ul> If the first <code>read</code> on the underlying stream returns
 <code>-1</code> to indicate end-of-file then this method returns
 <code>-1</code>.  Otherwise this method returns the number of characters
 actually read.

 <p> Subclasses of this class are encouraged, but not required, to
 attempt to read as many characters as possible in the same fashion.

 <p> Ordinarily this method takes characters from this stream's character
 buffer, filling it from the underlying stream as necessary.  If,
 however, the buffer is empty, the mark is not valid, and the requested
 length is at least as large as the buffer, then this method will read
 characters directly from the underlying stream into the given array.
 Thus redundant <code>BufferedReader</code>s will not copy data
 unnecessarily.
@param {Object {char[]}} cbuf  Destination buffer
@param {Number} off   Offset at which to start storing characters
@param {Number} len   Maximum number of characters to read
@return {Number} The number of characters read, or -1 if the end of the
             stream has been reached
@exception IOException  If an I/O error occurs
*/
read : function(  ) {},

/**Reads a line of text.  A line is considered to be terminated by any one
 of a line feed ('\n'), a carriage return ('\r'), or a carriage return
 followed immediately by a linefeed.
@return {String} A String containing the contents of the line, not including
             any line-termination characters, or null if the end of the
             stream has been reached
@exception IOException  If an I/O error occurs
@see java.nio.file.Files#readAllLines
*/
readLine : function(  ) {},

/**Skips characters.
@param {Number} n  The number of characters to skip
@return {Number} The number of characters actually skipped
@exception IllegalArgumentException  If <code>n</code> is negative.
@exception IOException  If an I/O error occurs
*/
skip : function(  ) {},

/**Tells whether this stream is ready to be read.  A buffered character
 stream is ready if the buffer is not empty, or if the underlying
 character stream is ready.
@exception IOException  If an I/O error occurs
*/
ready : function(  ) {},

/**Tells whether this stream supports the mark() operation, which it does.
*/
markSupported : function(  ) {},

/**Marks the present position in the stream.  Subsequent calls to reset()
 will attempt to reposition the stream to this point.
@param {Number} readAheadLimit   Limit on the number of characters that may be
                         read while still preserving the mark. An attempt
                         to reset the stream after reading characters
                         up to this limit or beyond may fail.
                         A limit value larger than the size of the input
                         buffer will cause a new buffer to be allocated
                         whose size is no smaller than limit.
                         Therefore large values should be used with care.
@exception IllegalArgumentException  If readAheadLimit is < 0
@exception IOException  If an I/O error occurs
*/
mark : function(  ) {},

/**Resets the stream to the most recent mark.
@exception IOException  If the stream has never been marked,
                          or if the mark has been invalidated
*/
reset : function(  ) {},

/**
*/
close : function(  ) {},


};