StreamReader
A StreamReader reads from a character sequence, typically created as a PagedSeq
from a java.io.Reader
from a java.io.Reader
NOTE:
StreamReaders do not really fulfill the new contract for readers, which
requires a
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.
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
class
PagedSeqReader instead.- Companion
- object
Value members
Methods
Inherited methods
Returns the first element of the reader, or EofCh if reader is at its end
- Inhertied from
- PagedSeqReader
true iff there are no more elements in this reader (except for trailing
EofCh's).
EofCh's).
- Inhertied from
- PagedSeqReader