Class Summary | |
class
|
CharArrayPosition
(val source : Array[Char], val line : Int, val column : Int) extends Position
CharArrayPosition implements the general Position
class for documents represented by an Array of `char's. |
class
|
CharArrayReader
(source : Array[Char], index : Int, line : Int, column : Int) extends Reader[Char]
A character array reader reads a stream of characters (keeping track of their positions)
from an array.
|
trait
|
Position
extends AnyRef
It provides functionality for:
To use this class for a concrete kind of ``document'', implement the
|
trait
|
Positional
extends AnyRef
A trait for objects that have a source position.
|
abstract class
|
Reader
[+T] extends AnyRef
An interface for streams of values that have positions.
|
sealed class
|
StreamReader
(bin : java.io.BufferedReader, sourceLine : java.lang.String, ln : Int, col : Int) extends Reader[Char]
A character array reader reads a stream of characters (keeping track of
their positions) from an array.
|
Object Summary | |
object
|
CharArrayReader
extends AnyRef
An object encapsulating basic character constants
|
object
|
NoPosition
extends Position
Undefined position
|
object
|
StreamReader
extends AnyRef
An object to create a StreamReader from a
java.io.Reader . |