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