BufferedReader
open class BufferedReader : Reader
kotlin.Any | ||
↳ | java.io.Reader | |
↳ | java.io.BufferedReader |
Reads text from a character-input stream, buffering characters so as to provide for the efficient reading of characters, arrays, and lines.
The buffer size may be specified, or the default size may be used. The default is large enough for most purposes.
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,
BufferedReader in = new BufferedReader(new FileReader("foo.in"));
Programs that use DataInputStreams for textual input can be localized by replacing each DataInputStream with an appropriate BufferedReader.
Summary
Public constructors | |
---|---|
BufferedReader(in: Reader!, sz: Int) Creates a buffering character-input stream that uses an input buffer of the specified size. |
|
BufferedReader(in: Reader!) Creates a buffering character-input stream that uses a default-sized input buffer. |
Public methods | |
---|---|
open Unit |
close() |
open Stream<String!>! |
lines() Returns a |
open Unit |
Marks the present position in the stream. |
open Boolean |
Tells whether this stream supports the mark() operation, which it does. |
open Int |
read() Reads a single character. |
open Int |
Reads characters into a portion of an array. |
open String! |
readLine() Reads a line of text. |
open Boolean |
ready() Tells whether this stream is ready to be read. |
open Unit |
reset() Resets the stream to the most recent mark. |
open Long |
Skips characters. |
Inherited functions | |
---|---|
Inherited properties | |
---|---|
Public constructors
BufferedReader
BufferedReader(
in: Reader!,
sz: Int)
Creates a buffering character-input stream that uses an input buffer of the specified size.
Parameters | |
---|---|
in |
Reader!: A Reader |
sz |
Int: Input-buffer size |
Exceptions | |
---|---|
java.lang.IllegalArgumentException |
If sz <= 0 |
BufferedReader
BufferedReader(in: Reader!)
Creates a buffering character-input stream that uses a default-sized input buffer.
Parameters | |
---|---|
in |
Reader!: A Reader |
Public methods
close
open fun close(): Unit
Exceptions | |
---|---|
java.lang.Exception |
if this resource cannot be closed |
java.io.IOException |
if an I/O error occurs |
lines
open fun lines(): Stream<String!>!
Returns a Stream
, the elements of which are lines read from this BufferedReader
. The Stream
is lazily populated, i.e., read only occurs during the terminal stream operation.
The reader must not be operated on during the execution of the terminal stream operation. Otherwise, the result of the terminal stream operation is undefined.
After execution of the terminal stream operation there are no guarantees that the reader will be at a specific position from which to read the next character or line.
If an IOException
is thrown when accessing the underlying BufferedReader
, it is wrapped in an UncheckedIOException
which will be thrown from the Stream
method that caused the read to take place. This method will return a Stream if invoked on a BufferedReader that is closed. Any operation on that stream that requires reading from the BufferedReader after it is closed, will cause an UncheckedIOException to be thrown.
Return | |
---|---|
Stream<String!>! |
a Stream<String> providing the lines of text described by this BufferedReader |
mark
open fun mark(readAheadLimit: Int): Unit
Marks the present position in the stream. Subsequent calls to reset() will attempt to reposition the stream to this point.
Parameters | |
---|---|
readAheadLimit |
Int: 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. |
Exceptions | |
---|---|
java.lang.IllegalArgumentException |
If readAheadLimit < 0 |
java.io.IOException |
If an I/O error occurs |
markSupported
open fun markSupported(): Boolean
Tells whether this stream supports the mark() operation, which it does.
Return | |
---|---|
Boolean |
true if and only if this stream supports the mark operation. |
read
open fun read(): Int
Reads a single character.
Return | |
---|---|
Int |
The character read, as an integer in the range 0 to 65535 (0x00-0xffff), or -1 if the end of the stream has been reached |
Exceptions | |
---|---|
java.io.IOException |
If an I/O error occurs |
read
open fun read(
cbuf: CharArray!,
off: Int,
len: Int
): Int
Reads characters into a portion of an array.
This method implements the general contract of the corresponding
method of the read
class. As an additional convenience, it attempts to read as many characters as possible by repeatedly invoking the Reader
read
method of the underlying stream. This iterated read
continues until one of the following conditions becomes true:
- The specified number of characters have been read,
- The
read
method of the underlying stream returns-1
, indicating end-of-file, or - The
ready
method of the underlying stream returnsfalse
, indicating that further input requests would block.
read
on the underlying stream returns -1
to indicate end-of-file then this method returns -1
. Otherwise this method returns the number of characters actually read.
Subclasses of this class are encouraged, but not required, to attempt to read as many characters as possible in the same fashion.
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 BufferedReader
s will not copy data unnecessarily.
Parameters | |
---|---|
cbuf |
CharArray!: Destination buffer |
off |
Int: Offset at which to start storing characters |
len |
Int: Maximum number of characters to read |
Return | |
---|---|
Int |
The number of characters read, or -1 if the end of the stream has been reached |
Exceptions | |
---|---|
java.io.IOException |
If an I/O error occurs |
java.lang.IndexOutOfBoundsException |
If off is negative, or len is negative, or len is greater than cbuf.length - off |
readLine
open fun readLine(): String!
Reads a line of text. A line is considered to be terminated by any one of a line feed ('\n'), a carriage return ('\r'), a carriage return followed immediately by a line feed, or by reaching the end-of-file (EOF).
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 without reading any characters |
Exceptions | |
---|---|
java.io.IOException |
If an I/O error occurs |
See Also
ready
open fun ready(): Boolean
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.
Return | |
---|---|
Boolean |
True if the next read() is guaranteed not to block for input, false otherwise. Note that returning false does not guarantee that the next read will block. |
Exceptions | |
---|---|
java.io.IOException |
If an I/O error occurs |
reset
open fun reset(): Unit
Resets the stream to the most recent mark.
Exceptions | |
---|---|
java.io.IOException |
If the stream has never been marked, or if the mark has been invalidated |
skip
open fun skip(n: Long): Long
Skips characters.
Parameters | |
---|---|
n |
Long: The number of characters to skip |
Return | |
---|---|
Long |
The number of characters actually skipped |
Exceptions | |
---|---|
java.lang.IllegalArgumentException |
If n is negative. |
java.io.IOException |
If an I/O error occurs |