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 xmlSeqOK extends SeqContextSensitive

For use from xml pattern, where sequence is allowed and encouraged.

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

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def andType(tpt: Global.Tree): Global.Tree
    Definition Classes
    PatternContextSensitive
  5. def annotType(): Global.Tree 

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

    ArgType       ::=  Type
    Definition Classes
    SeqContextSensitive → PatternContextSensitive
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def badPattern3(): Global.Tree
    Definition Classes
    SeqContextSensitive
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  10. def compoundType(): Global.Tree 

    CompoundType ::= AnnotType {with AnnotType} [Refinement]
              |  Refinement
    Definition Classes
    PatternContextSensitive
  11. def compoundTypeRest(t: Global.Tree): Global.Tree
    Definition Classes
    PatternContextSensitive
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def functionArgType(): Global.Tree
    Definition Classes
    SeqContextSensitive → PatternContextSensitive
  16. def functionTypes(): List[Global.Tree]
    Definition Classes
    PatternContextSensitive
  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def infixType(mode: InfixMode.Value): Global.Tree 

    InfixType ::= CompoundType {id [nl] CompoundType}
    Definition Classes
    PatternContextSensitive
  20. def infixTypeRest(t: Global.Tree, mode: InfixMode.Value): Global.Tree
    Definition Classes
    PatternContextSensitive
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. val isSequenceOK: Boolean
    Definition Classes
    xmlSeqOK → SeqContextSensitive
  23. val isXML: Boolean
    Definition Classes
    xmlSeqOK → SeqContextSensitive
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. def pattern(): Global.Tree 

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

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

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

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

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

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

    XXX: Hook for IDE

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

    SimpleType       ::=  SimpleType TypeArgs
                   |  SimpleType `#' Id
                   |  StableId
                   |  Path `.' type
                   |  `(' Types `)'
                   |  WildcardType
    Definition Classes
    PatternContextSensitive
  35. def simpleTypeRest(t: Global.Tree): Global.Tree
    Definition Classes
    PatternContextSensitive
  36. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. def typ(): Global.Tree 

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

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

    Types ::= Type {`,' Type}
    Definition Classes
    PatternContextSensitive
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from SeqContextSensitive

Inherited from PatternContextSensitive

Inherited from AnyRef

Inherited from Any

Ungrouped