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
): BufferedWriterReturns a buffered writer wrapping this Writer, or this Writer itself if it is already buffered.
fun Writer.buffered(
bufferSize: Int = DEFAULT_BUFFER_SIZE
): BufferedWriter