Extensions for java.io.Writer
| buffered | fun Writer.buffered(
bufferSize: Int = DEFAULT_BUFFER_SIZE
): BufferedWriter Returns a buffered reader wrapping this Writer, or this Writer itself if it is already buffered. |
© 2010–2017 JetBrains s.r.o.
Licensed under the Apache License, Version 2.0.
登录查看完整内容
