scala.tools.nsc.ast.parser.Parsers

Performs the following context-free rewritings:

- Places all pattern variables in Bind nodes. In a pattern, for identifiers x:

                x  => x @ _
              x:T  => x @ (_ : T)

Removes pattern definitions (PatDef's) as follows: If pattern is a simple (typed) identifier:

       val x = e     ==>  val x = e
       val x: T = e  ==>  val x: T = e

if there are no variables in pattern

       val p = e  ==>  e match (case p => ())

if there is exactly one variable in pattern

       val x_1 = e match (case p => (x_1))

if there is more than one variable in pattern

       val p = e  ==>  private synthetic val t$ = e match (case p => (x_1, ..., x_N))
                       val x_1 = t$._1
                       ...
                       val x_N = t$._N

- Removes function types as follows:

       (argtpes) => restpe   ==>   scala.Function_n[argtpes, restpe]

- Wraps naked case definitions in a match as follows:

       { cases }   ==>   (x => x.match {cases}), except when already argument to match

Self Type: Parsers
Source: Parsers.scala

Linear Supertypes

ParsersCommon, MarkupParsers, Scanners, ScannersCommon, AnyRef, Any

Known Subclasses

SyntaxAnalyzer, syntaxAnalyzer

Ordering

Alphabetic
By inheritance

Inherited

Hide All
Show all

Parsers
ParsersCommon
MarkupParsers
Scanners
ScannersCommon
AnyRef
Any

Visibility

Public
All

Type Members

trait CommonTokenData extends AnyRef
class MalformedInput extends Exception
class MarkupParser extends MarkupParserCommon
type Offset = Int

Offset into source character array
Offset into source character array

Definition Classes
Scanners
case class OpInfo (operand: Tree, operator: Name, offset: Offset) extends Product with Serializable
class OutlineParser extends SourceFileParser
class ParensAnalyzer extends UnitScanner
class Parser extends ParserCommon

Attributes
abstract
trait ParserCommon extends AnyRef
class Scanner extends CharArrayReader with TokenData with ScannerCommon

Attributes
abstract
trait ScannerCommon extends CommonTokenData
class SourceFileParser extends Parser
class SourceFileScanner extends Scanner

A scanner for a given source file not necessarily attached to a compilation unit.
trait TokenData extends CommonTokenData
class UnitParser extends SourceFileParser
class UnitScanner extends SourceFileScanner

A scanner over a given compilation unit

Abstract Value Members

val global : Global

Attributes
abstract
Definition Classes
Parsers → ParsersCommon → Scanners → ScannersCommon

Concrete Value Members

def != (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def != (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
def ## (): Int

Attributes
final
Definition Classes
AnyRef → Any
def == (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def == (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
object ConfusedAboutBracesControl extends Throwable with ControlThrowable with Product with Serializable
val InBlock : Int(1)

Attributes
final
val InTemplate : Int(2)

Attributes
final
val Local : Int(0)

Attributes
final
object MissingEndTagControl extends Throwable with ControlThrowable with Product with Serializable
val NoOffset : Offset

An undefined offset
An undefined offset

Definition Classes
Scanners
object TruncatedXMLControl extends Throwable with ControlThrowable with Product with Serializable
def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
def clone (): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def createKeywordArray (keywords: Seq[(Name, Int)], defaultToken: Int): (Int, Array[Int])

Definition Classes
ScannersCommon
def eq (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def equals (arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize (): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def getClass (): java.lang.Class[_]

Attributes
final
Definition Classes
AnyRef → Any
def hashCode (): Int

Definition Classes
AnyRef → Any
def isInstanceOf [T0] : Boolean

Attributes
final
Definition Classes
Any
def name2token (name: Name): Int

Convert name to token
Convert name to token

Attributes
final
Definition Classes
Scanners
def ne (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def notify (): Unit

Attributes
final
Definition Classes
AnyRef
def notifyAll (): Unit

Attributes
final
Definition Classes
AnyRef
def synchronized [T0] (arg0: ⇒ T0): T0

Attributes
final
Definition Classes
AnyRef
def toString (): String

Definition Classes
AnyRef → Any
val token2name : Map[Int, Name]

Attributes
final
Definition Classes
Scanners
def token2string (token: Int): String

Returns the string representation of given token.
Returns the string representation of given token.

Definition Classes
Scanners
def wait (): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
def wait (arg0: Long, arg1: Int): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
def wait (arg0: Long): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()

Parsers

trait Parsers extends Scanners with MarkupParsers with ParsersCommon

Type Members

trait CommonTokenData extends AnyRef

class MalformedInput extends Exception

class MarkupParser extends MarkupParserCommon

type Offset = Int

case class OpInfo (operand: Tree, operator: Name, offset: Offset) extends Product with Serializable

class OutlineParser extends SourceFileParser

class ParensAnalyzer extends UnitScanner

class Parser extends ParserCommon

trait ParserCommon extends AnyRef

class Scanner extends CharArrayReader with TokenData with ScannerCommon

trait ScannerCommon extends CommonTokenData

class SourceFileParser extends Parser

class SourceFileScanner extends Scanner

trait TokenData extends CommonTokenData

class UnitParser extends SourceFileParser

class UnitScanner extends SourceFileScanner

Abstract Value Members

val global : Global

Concrete Value Members

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

object ConfusedAboutBracesControl extends Throwable with ControlThrowable with Product with Serializable

val InBlock : Int(1)

val InTemplate : Int(2)

val Local : Int(0)

object MissingEndTagControl extends Throwable with ControlThrowable with Product with Serializable

val NoOffset : Offset

object TruncatedXMLControl extends Throwable with ControlThrowable with Product with Serializable

def asInstanceOf [T0] : T0

def clone (): AnyRef

def createKeywordArray (keywords: Seq[(Name, Int)], defaultToken: Int): (Int, Array[Int])

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def finalize (): Unit

def getClass (): java.lang.Class[_]

def hashCode (): Int

def isInstanceOf [T0] : Boolean

def name2token (name: Name): Int

def ne (arg0: AnyRef): Boolean

def notify (): Unit

def notifyAll (): Unit

def synchronized [T0] (arg0: ⇒ T0): T0

def toString (): String

val token2name : Map[Int, Name]

def token2string (token: Int): String

def wait (): Unit

def wait (arg0: Long, arg1: Int): Unit

def wait (arg0: Long): Unit

Inherited from ParsersCommon

Inherited from MarkupParsers

Inherited from Scanners

Inherited from ScannersCommon

Inherited from AnyRef

Inherited from Any