Scala Library
scala.util.parsing.combinatorold.lexical.Scanners

class Scanner
[source: scala/util/parsing/combinatorold/lexical/Scanners.scala]
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.

Note: (*) Scanner is really a `Reader' of `Token's

/
Additional Constructor Summary
def this (in : java.lang.String) : Scanner
/* Convenience constructor (makes a character reader out of the given string) */
Method Summary
def atEnd : Boolean
/* true iff there are no more elements in this reader /
def first : Token
/* Returns the first element of the reader /
override 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
override def source : java.lang.CharSequence
/* If this is a reader over character sequences, the underlying char sequence If not, throws a NoSuchMethodError exception. /
Methods inherited from Reader
drop
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(in : java.lang.String) : Scanner
/* Convenience constructor (makes a character reader out of the given string) */
Method Details
override def source : java.lang.CharSequence
/* If this is a reader over character sequences, the underlying char sequence If not, throws a NoSuchMethodError exception. /
Overrides
Reader.source
override def offset : Int
Overrides
Reader.offset
def first : Token
/* Returns the first element of the reader /
Overrides
Reader.first
def rest : Scanner
/* Returns an abstract reader consisting of all elements except the first
Returns
If atEnd is true, the result will be this'; otherwise, it's a Reader containing more elements. /
Overrides
Reader.rest
def pos : Position
/* The position of the first element in the reader /
Overrides
Reader.pos
def atEnd : Boolean
/* true iff there are no more elements in this reader /
Overrides
Reader.atEnd
Scala Library