|
Scala Library
|
|
scala/io/BufferedSource.scala]
object
BufferedSource
extends AnyRef| Method Summary | |
def
|
fromInputStream
(inpStream : java.io.InputStream, enc : java.lang.String, buffer_size : Int, do_reset : () => Source) : BufferedSource
same as fromInputStream(inpStream, Charset.forName(enc), buffer_size, do_reset)
|
def
|
fromInputStream
(inpStream : java.io.InputStream, decoder : java.nio.charset.CharsetDecoder, buffer_size : Int, do_reset : () => Source) : BufferedSource
constructs a BufferedSource instance from an input stream, using given decoder
|
def
|
fromInputStream
(inpStream : java.io.InputStream, charSet : java.nio.charset.Charset, buffer_size : Int, do_reset : () => Source) : BufferedSource
same as fromInputStream(inpStream, charSet.newDecoder(), buffer_size, do_reset)
|
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
def
fromInputStream(inpStream : java.io.InputStream, enc : java.lang.String, buffer_size : Int, do_reset : () => Source) : BufferedSource
def
fromInputStream(inpStream : java.io.InputStream, charSet : java.nio.charset.Charset, buffer_size : Int, do_reset : () => Source) : BufferedSource
def
fromInputStream(inpStream : java.io.InputStream, decoder : java.nio.charset.CharsetDecoder, buffer_size : Int, do_reset : () => Source) : BufferedSource
|
Scala Library
|
|