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.
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.
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
.