class Scanner extends Reader[Token]
Scanner
is essentially¹ a parser that produces Token
s
from a stream of characters. The tokens it produces are typically
passed to parsers in TokenParsers
.
- Source
- Scanners.scala
- Note
¹
Scanner
is really aReader
ofToken
s
- Alphabetic
- By Inheritance
- Scanner
- Reader
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
Value Members
-
def
atEnd: Boolean
true
iff there are no more elements in this reader. -
def
drop(n: Int): Reader[Token]
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.- Definition Classes
- Reader
-
def
first: Token
Returns the first element of the reader
- def offset: Int
-
def
pos: Position
The position of the first element in the reader.
-
def
rest: Scanner
Returns an abstract reader consisting of all elements except the first
-
def
source: CharSequence
If this is a reader over character sequences, the underlying char sequence.