Packages

package input

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class CharArrayReader extends CharSequenceReader

    A character array reader reads a stream of characters (keeping track of their positions) from an array.

  2. class CharSequenceReader extends Reader[Char]

    A character array reader reads a stream of characters (keeping track of their positions) from an array.

  3. 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 source document.

    OffsetPosition is a standard class for positions represented as offsets into a source document.

    source

    The source document

    offset

    The offset indicating the position

  4. class PagedSeqReader extends Reader[Char]

    A character array reader reads a stream of characters (keeping track of their positions) from an array.

  5. trait Position extends AnyRef

    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:

    • generating a visual representation of this position (longString);
    • comparing two positions (<).

    To use this class for a concrete kind of document, implement the lineContents method.

  6. trait Positional extends AnyRef

    A trait for objects that have a source position.

  7. abstract class Reader [+T] extends AnyRef

    An interface for streams of values that have positions.

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

  1. object CharArrayReader

    An object encapsulating basic character constants.

  2. object CharSequenceReader

    An object encapsulating basic character constants.

  3. object NoPosition extends Position

    Undefined position.

  4. object PagedSeqReader

    An object encapsulating basic character constants.

  5. object StreamReader

    An object to create a StreamReader from a java.io.Reader.

Ungrouped