Packages

  • package root

    The Scala compiler and reflection APIs.

    The Scala compiler and reflection APIs.

    Definition Classes
    root
  • package scala
    Definition Classes
    root
  • package tools
    Definition Classes
    scala
  • package nsc
    Definition Classes
    tools
  • package ast
    Definition Classes
    nsc
  • package parser
    Definition Classes
    ast
  • trait Parsers extends Scanners with MarkupParsers with ParsersCommon

    Performs the following context-free rewritings:

    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

    Definition Classes
    parser
  • abstract class Parser extends ParserCommon
    Definition Classes
    Parsers
  • InfixMode
  • ParserTreeBuilder
  • PatternContextSensitive
  • SeqContextSensitive
  • noSeq
  • outPattern
  • seqOK
  • xmlSeqOK

object seqOK extends SeqContextSensitive

The implementation for parsing inside of patterns at points where sequences are allowed.

Source
Parsers.scala
Linear Supertypes
SeqContextSensitive, PatternContextSensitive, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. seqOK
  2. SeqContextSensitive
  3. PatternContextSensitive
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. def annotType(): Global.Tree 

    AnnotType        ::=  SimpleType {Annotation}
    Definition Classes
    PatternContextSensitive
  2. def argType(): Global.Tree 

    ArgType       ::=  Type
    Definition Classes
    SeqContextSensitive → PatternContextSensitive
  3. def badPattern3(): Global.Tree
    Definition Classes
    SeqContextSensitive
  4. def compoundType(): Global.Tree 

    CompoundType ::= AnnotType {with AnnotType} [Refinement]
              |  Refinement
    Definition Classes
    PatternContextSensitive
  5. def compoundTypeRest(t: Global.Tree): Global.Tree
    Definition Classes
    PatternContextSensitive
  6. def functionArgType(): Global.Tree
    Definition Classes
    SeqContextSensitive → PatternContextSensitive
  7. def functionTypes(): List[Global.Tree]
    Definition Classes
    PatternContextSensitive
  8. def infixType(mode: InfixMode.Value): Global.Tree 

    InfixType ::= CompoundType {id [nl] CompoundType}
    Definition Classes
    PatternContextSensitive
  9. def infixTypeRest(t: Global.Tree, mode: InfixMode.Value): Global.Tree
    Definition Classes
    PatternContextSensitive
  10. val isSequenceOK: Boolean
    Definition Classes
    seqOK → SeqContextSensitive
  11. def isXML: Boolean
    Definition Classes
    SeqContextSensitive
  12. def pattern(): Global.Tree 

    Pattern  ::=  Pattern1 { `|' Pattern1 }
SeqPattern ::= SeqPattern1 { `|' SeqPattern1 }
    Definition Classes
    SeqContextSensitive
  13. def pattern1(): Global.Tree 

    Pattern1    ::= boundvarid `:' TypePat
              |  `_' `:' TypePat
              |  Pattern2
SeqPattern1 ::= boundvarid `:' TypePat
              |  `_' `:' TypePat
              |  [SeqPattern2]
    Definition Classes
    SeqContextSensitive
  14. def pattern2(): Global.Tree 

    Pattern2    ::=  id  @ Pattern3
              |  `_' @ Pattern3
              |   Pattern3
    Definition Classes
    SeqContextSensitive
  15. def pattern3(): Global.Tree 

    Pattern3    ::= SimplePattern
              |  SimplePattern {Id [nl] SimplePattern}
    Definition Classes
    SeqContextSensitive
  16. def patterns(): List[Global.Tree] 

    Patterns ::= Pattern { `,' Pattern }
SeqPatterns ::= SeqPattern { `,' SeqPattern }
    Definition Classes
    SeqContextSensitive
  17. def simplePattern(onError: () ⇒ Global.Tree): Global.Tree
    Definition Classes
    SeqContextSensitive
  18. def simplePattern(): Global.Tree 

    SimplePattern    ::= varid
                  |  `_'
                  |  literal
                  |  XmlPattern
                  |  StableId  /[TypeArgs]/ [`(' [Patterns] `)']
                  |  StableId  [`(' [Patterns] `)']
                  |  StableId  [`(' [Patterns] `,' [varid `@'] `_' `*' `)']
                  |  `(' [Patterns] `)'

    XXX: Hook for IDE

    Definition Classes
    SeqContextSensitive
  19. def simpleType(): Global.Tree 

    SimpleType       ::=  SimpleType TypeArgs
                   |  SimpleType `#' Id
                   |  StableId
                   |  Path `.' type
                   |  `(' Types `)'
                   |  WildcardType
    Definition Classes
    PatternContextSensitive
  20. def simpleTypeRest(t: Global.Tree): Global.Tree
    Definition Classes
    PatternContextSensitive
  21. def typ(): Global.Tree 

    Type ::= InfixType `=>' Type
       | `(' [`=>' Type] `)' `=>' Type
       | InfixType [ExistentialClause]
ExistentialClause ::= forSome `{' ExistentialDcl {semi ExistentialDcl}} `}'
ExistentialDcl    ::= type TypeDcl | val ValDcl
    Definition Classes
    PatternContextSensitive
  22. def typeArgs(): List[Global.Tree] 

    TypeArgs    ::= `[' ArgType {`,' ArgType} `]'
    Definition Classes
    PatternContextSensitive
  23. def types(): List[Global.Tree] 

    Types ::= Type {`,' Type}
    Definition Classes
    PatternContextSensitive