final class SeqContextSensitive extends PatternContextSensitive
Methods which implicitly propagate whether the initial call took place in a context where sequences are allowed. Formerly, this was threaded through methods as boolean seqOK.
- Source
- Parsers.scala
Linear Supertypes
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- SeqContextSensitive
- PatternContextSensitive
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
Value Members
- def annotType(): Global.Tree
AnnotType ::= SimpleType {Annotation}
- Definition Classes
- PatternContextSensitive
- final def argType(): Global.Tree
ArgType ::= Type
- Definition Classes
- SeqContextSensitive → PatternContextSensitive
- def badPattern3(): Global.Tree
- def compoundType(): Global.Tree
CompoundType ::= AnnotType {with AnnotType} [Refinement] | Refinement
- Definition Classes
- PatternContextSensitive
- def compoundTypeRest(t: Global.Tree): Global.Tree
- Definition Classes
- PatternContextSensitive
- final def functionArgType(): Global.Tree
- Definition Classes
- SeqContextSensitive → PatternContextSensitive
- def functionTypes(): List[Global.Tree]
- Definition Classes
- PatternContextSensitive
- def infixType(mode: InfixMode.Value): Global.Tree
InfixType ::= CompoundType {id [nl] CompoundType}
- Definition Classes
- PatternContextSensitive
- def infixTypeRest(t: Global.Tree, mode: InfixMode.Value): Global.Tree
- Definition Classes
- PatternContextSensitive
- val isSequenceOK: Boolean
- val isXML: Boolean
- def pattern(): Global.Tree
Pattern ::= Pattern1 { `|` Pattern1 } SeqPattern ::= SeqPattern1 { `|` SeqPattern1 }
- def pattern1(): Global.Tree
Pattern1 ::= boundvarid `:` TypePat | `_` `:` TypePat | Pattern2 SeqPattern1 ::= boundvarid `:` TypePat | `_` `:` TypePat | [SeqPattern2]
- def pattern2(): Global.Tree
Pattern2 ::= id `@` Pattern3 | `_` `@` Pattern3 | Pattern3
- def pattern3(): Global.Tree
Pattern3 ::= SimplePattern | SimplePattern {Id [nl] SimplePattern}
- def patterns(): List[Global.Tree]
Patterns ::= Pattern { `,` Pattern } SeqPatterns ::= SeqPattern { `,` SeqPattern }
- def simplePattern(onError: () => Global.Tree): Global.Tree
- def simplePattern(): Global.Tree
SimplePattern ::= varid | `_` | literal | XmlPattern | StableId /[TypeArgs]/ [`(` [Patterns] `)`] | StableId [`(` [Patterns] `)`] | StableId [`(` [Patterns] `,` [varid `@`] `_` `*` `)`] | `(` [Patterns] `)`
XXX: Hook for IDE
- def simpleType(): Global.Tree
SimpleType ::= SimpleType TypeArgs | SimpleType `#` Id | StableId | Path `.` type | Literal | `(` Types `)` | WildcardType
- Definition Classes
- PatternContextSensitive
- final def simpleTypeRest(t: Global.Tree): Global.Tree
- Definition Classes
- PatternContextSensitive
- Annotations
- @tailrec()
- def typ(): Global.Tree
Type ::= InfixType `=>` Type | `(` [`=>` Type] `)` `=>` Type | InfixType [ExistentialClause] ExistentialClause ::= forSome `{` ExistentialDcl {semi ExistentialDcl} `}` ExistentialDcl ::= type TypeDcl | val ValDcl
- Definition Classes
- PatternContextSensitive
- def typeArgs(): List[Global.Tree]
TypeArgs ::= `[` ArgType {`,` ArgType} `]`
- Definition Classes
- PatternContextSensitive
- def types(): List[Global.Tree]
Types ::= Type {`,` Type}
- Definition Classes
- PatternContextSensitive
The Scala compiler and reflection APIs.