package input
- Alphabetic
- Public
- All
Type Members
-
class
CharArrayReader extends CharSequenceReader
A character array reader reads a stream of characters (keeping track of their positions) from an array.
-
class
CharSequenceReader extends Reader[Char]
A character array reader reads a stream of characters (keeping track of their positions) from an array.
-
case class
OffsetPosition(source: CharSequence, offset: Int) extends Position with Product with Serializable
OffsetPosition
is a standard class for positions represented as offsets into a sourcedocument.
OffsetPosition
is a standard class for positions represented as offsets into a sourcedocument.
- source
The source document
- offset
The offset indicating the position
-
class
PagedSeqReader extends Reader[Char]
A character array reader reads a stream of characters (keeping track of their positions) from an array.
-
trait
Position extends AnyRef
Position
is the base trait for objects describing a position in adocument
.Position
is the base trait for objects describing a position in adocument
.It provides functionality for:
- generating a visual representation of this position (
longString
); - comparing two positions (
<
).
To use this class for a concrete kind of
document
, implement thelineContents
method. - generating a visual representation of this position (
-
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 extends PagedSeqReader
A StreamReader reads from a character sequence, typically created as a PagedSeq from a java.io.Reader
A StreamReader reads from a character sequence, typically created as a PagedSeq from a java.io.Reader
NOTE: StreamReaders do not really fulfill the new contract for readers, which requires a
source
CharSequence representing the full input. Instead source is treated line by line. As a consequence, regex matching cannot extend beyond a single line when a StreamReader are used for input.If you need to match regexes spanning several lines you should consider class
PagedSeqReader
instead.
Value Members
-
object
CharArrayReader
An object encapsulating basic character constants.
-
object
CharSequenceReader
An object encapsulating basic character constants.
-
object
NoPosition extends Position
Undefined position.
-
object
OffsetPosition extends AbstractFunction2[CharSequence, Int, OffsetPosition] with PositionCache with Serializable
An object holding the index cache.
-
object
PagedSeqReader
An object encapsulating basic character constants.
-
object
StreamReader
An object to create a
StreamReader
from ajava.io.Reader
.