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
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