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