Class Summary | |
class
|
BufferedSource
(inputStream : java.io.InputStream, bufferSize : Int, codec : Codec) extends Source
This object provides convenience methods to create an iterable
representation of a source file.
|
class
|
Codec
(val charSet : java.nio.charset.Charset) extends AnyRef
A class for character encoding/decoding preferences.
|
class
|
File
(val file : java.io.File) extends Iterable[File]
An abstraction for files. For now it is little more than a wrapper
around java.io.File.
|
abstract class
|
Source
extends Iterator[Char]
The class
Source implements an iterable representation
of source files. Calling method reset returns an identical,
resetted source. |
Object Summary | |
object
|
BufferedSource
extends AnyRef
|
object
|
BytePickle
extends AnyRef
Pickler combinators.
Based on a Haskell library by Andrew Kennedy,
see http://research.microsoft.com/~akenn/fun/.
|
object
|
Codec
extends AnyRef
|
object
|
File
extends AnyRef
|
object
|
Position
extends AnyRef
|
object
|
Source
extends AnyRef
This object provides convenience methods to create an iterable
representation of a source file.
|
object
|
UTF8Codec
extends AnyRef
|