Scanner

class Scanner(in: Reader[Char]) extends Reader[Token]

Scanner is essentially¹ a parser that produces Tokens from a stream of characters. The tokens it produces are typically passed to parsers in TokenParsers.

Scanner is essentially¹ a parser that produces Tokens from a stream of characters. The tokens it produces are typically passed to parsers in TokenParsers.

Note

¹ Scanner is really a Reader of Tokens

class Reader[Token]
class Object
trait Matchable
class Any

Value members

Constructors

def this(in: String)

Convenience constructor (makes a character reader out of the given string)

Convenience constructor (makes a character reader out of the given string)

Concrete methods

def atEnd: Boolean
def first: Token
override def offset: Int
Definition Classes
override def source: CharSequence
Definition Classes

Inherited methods

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.

Inherited from
Reader