PagedSeqReader

scala.util.parsing.input.PagedSeqReader
See thePagedSeqReader companion object
class PagedSeqReader(seq: PagedSeq[Char], val offset: Int) extends Reader[Char]

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

Value parameters

offset

starting offset.

seq

the source sequence

Attributes

Companion
object
Graph
Supertypes
class Reader[Char]
class Object
trait Matchable
class Any
Known subtypes
class StreamReader
Self type

Members list

Value members

Constructors

def this(seq: PagedSeq[Char])

Construct a PagedSeqReader with its first element at source(0) and position (1,1).

Construct a PagedSeqReader with its first element at source(0) and position (1,1).

Attributes

Concrete methods

def atEnd: Boolean

true iff there are no more elements in this reader (except for trailing EofCh's).

true iff there are no more elements in this reader (except for trailing EofCh's).

Attributes

override def drop(n: Int): PagedSeqReader

Returns an abstract reader consisting of all elements except the first n elements.

Returns an abstract reader consisting of all elements except the first n elements.

Attributes

Definition Classes
def first: Char

Returns the first element of the reader, or EofCh if reader is at its end

Returns the first element of the reader, or EofCh if reader is at its end

Attributes

def pos: Position

The position of the first element in the reader.

The position of the first element in the reader.

Attributes

Returns a PagedSeqReader consisting of all elements except the first

Returns a PagedSeqReader consisting of all elements except the first

Attributes

Returns

If atEnd is true, the result will be this; otherwise, it's a PagedSeqReader containing the rest of input.

Concrete fields

override val offset: Int
override val source: CharSequence

If this is a reader over character sequences, the underlying char sequence. If not, throws a NoSuchMethodError exception.

If this is a reader over character sequences, the underlying char sequence. If not, throws a NoSuchMethodError exception.

Attributes

Throws
[[java.lang.NoSuchMethodError]]

if this not a char sequence reader.