input
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.
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.
OffsetPositionis a standard class for positions represented as offsets into a sourcedocument.The source document
The offset indicating the position