A character array reader reads a stream of characters (keeping track of their positions) from an array.
A character array reader reads a stream of characters (keeping track of their positions) from an array.
OffsetPosition
is a standard class for positions
represented as offsets into a source document.
A character array reader reads a stream of characters (keeping track of their positions) from an array.
Position
is the base trait for objects describing a position in a document
.
Position
is the base trait for objects describing a position in a document
.
It provides functionality for:
longString
);<
). To use this class for a concrete kind of document
, implement the lineContents
method.
A trait for objects that have a source position.
An interface for streams of values that have positions.
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.
An object encapsulating basic character constants.
An object encapsulating basic character constants.
Undefined position.
An object encapsulating basic character constants.
An object to create a StreamReader
from a java.io.Reader
.
OffsetPosition
is a standard class for positions represented as offsets into a sourcedocument.
The source document
The offset indicating the position