|
Scala Library
|
|
class
PagedSeqReader(seq : PagedSeq[Char], val override offset : Int)
extends Reader[Char]source - the source sequenceoffset - starting offset.| Additional Constructor Summary | |
def
|
this
(seq : PagedSeq[Char]) : PagedSeqReader
Construct a
PagedSeqReader with its first element at
source(0) and position (1,1). |
| Value Summary | |
override lazy val
|
source
: java.lang.CharSequence
If this is a reader over character sequences, the underlying char sequence
If not, throws a
NoSuchMethodError exception. |
| Method Summary | |
def
|
atEnd
: Boolean
true iff there are no more elements in this reader (except for trailing
EofCh's)
|
override def
|
drop
(n : Int) : PagedSeqReader
Returns an abstract reader consisting of all elements except the first
n elements. |
def
|
first
: Char
Returns the first element of the reader, or EofCh if reader is at its end
|
def
|
pos
: Position
The position of the first element in the reader
|
def
|
rest
: PagedSeqReader
Returns a PagedSeqReader consisting of all elements except the first
|
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Additional Constructor Details |
def
this(seq : PagedSeq[Char]) : PagedSeqReader
PagedSeqReader with its first element at
source(0) and position (1,1).| Value Details |
override
lazy val
source : java.lang.CharSequence
NoSuchMethodError exception.| Method Details |
def
first : Char
def
rest : PagedSeqReader
atEnd is true, the result will be this'; otherwise, it's a PagedSeqReader containing
the rest of input.
def
pos : Position
def
atEnd : Boolean
override
def
drop(n : Int) : PagedSeqReader
n elements.|
Scala Library
|
|