Extensions for java.io.Reader
buffered
Returns a buffered reader wrapping this Reader, or this Reader itself if it is already buffered.
fun
Reader
.
buffered
(
bufferSize
:
Int
=
DEFAULT_BUFFER_SIZE
)
:
BufferedReader