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.
OffsetPosition
is a standard class for positions
represented as offsets into a source document.
The source document
The offset indicating the position
An implementation of lazily computed sequences, where elements are stored in "pages", i.e.
An implementation of lazily computed sequences, where elements are stored in "pages", i.e. arrays of fixed size.
A paged sequence is constructed from a function that produces more elements when asked.
The producer function - more
, is similar to the read method in java.io.Reader.
The more
function takes three parameters: an array of elements, a start index, and an end index.
It should try to fill the array between start and end indices (excluding end index).
It returns the number of elements produced, or -1 if end of logical input stream was reached
before reading any element.
the type of the elements contained in this paged sequence, with an ClassTag
context bound.
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 holding the index cache.
The PagedSeq
object defines a lazy implementations of
a random access sequence.
The PagedSeq
object defines a lazy implementations of
a random access sequence.
Provides utility methods that return instances of PagedSeq[Char]
.
fromIterator
and fromIterable
provide generalised instances of PagedSeq
An object encapsulating basic character constants.
An object to create a StreamReader
from a java.io.Reader
.