scala.tools.nsc.typechecker.PatMatVirtualiser

SwitchEmission

trait SwitchEmission extends TreeMakers with OptimizedMatchMonadInterface

Self Type
SwitchEmission with CodegenCore
Source
PatMatVirtualiser.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SwitchEmission
  2. OptimizedMatchMonadInterface
  3. TreeMakers
  4. TypedSubstitution
  5. MatchMonadInterface
  6. AnyRef
  7. Any
Visibility
  1. Public
  2. All

Type Members

  1. case class AlternativesTreeMaker(prevBinder: Symbol, altss: List[List[TreeMaker]], pos: Position) extends TreeMaker with Product with Serializable

  2. case class BodyTreeMaker(body: Tree, matchPt: Type) extends TreeMaker with Product with Serializable

  3. abstract class CondTreeMaker extends FunTreeMaker

  4. case class EqualityTestTreeMaker(prevBinder: Symbol, patTree: Tree, pos: Position) extends CondTreeMaker with Product with Serializable

  5. case class ExtractorTreeMaker(extractor: Tree, extraCond: Option[Tree], nextBinder: Symbol, localSubstitution: Substitution, extractorReturnsBoolean: Boolean) extends FunTreeMaker with Product with Serializable

    Make a TreeMaker that will result in an extractor call specified by extractor the next TreeMaker (here, we don't know which it'll be) is chained after this one by flatMap'ing a function with binder nextBinder over our extractor's result the function's body is determined by the next TreeMaker in this function's body, and all the subsequent ones, references to the symbols in from will be replaced by the corresponding tree in to

  6. abstract class FunTreeMaker extends TreeMaker

  7. case class GuardTreeMaker(guardTree: Tree) extends TreeMaker with Product with Serializable

  8. case class ProductExtractorTreeMaker(prevBinder: Symbol, extraCond: Option[Tree], localSubstitution: Substitution) extends TreeMaker with Product with Serializable

  9. class RegularSwitchMaker extends SwitchMaker

  10. case class SubstOnlyTreeMaker(prevBinder: Symbol, nextBinder: Symbol) extends TreeMaker with Product with Serializable

  11. class Substitution extends AnyRef

  12. abstract class SwitchMaker extends AnyRef

  13. abstract class TreeMaker extends AnyRef

  14. case class TrivialTreeMaker(tree: Tree) extends TreeMaker with Product with Serializable

  15. case class TypeAndEqualityTestTreeMaker(prevBinder: Symbol, patBinder: Symbol, pt: Type, pos: Position) extends CondTreeMaker with Product with Serializable

  16. case class TypeTestTreeMaker(prevBinder: Symbol, nextBinderTp: Type, pos: Position) extends CondTreeMaker with Product with Serializable

Abstract Value Members

  1. abstract val typer: Typer

    Definition Classes
    MatchMonadInterface

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

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

    Definition Classes
    Any
  3. final def ##(): Int

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

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

    Definition Classes
    Any
  6. object EmptySubstitution extends Substitution

  7. object Substitution extends AnyRef

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. def combineCases(scrut: Tree, scrutSym: Symbol, casesRaw: List[List[TreeMaker]], pt: Type, owner: Symbol): Tree

    Definition Classes
    TreeMakers
  11. def combineCasesNoSubstOnly(scrut: Tree, scrutSym: Symbol, casesNoSubstOnly: List[List[TreeMaker]], pt: Type, owner: Symbol, matchFail: (Tree) ⇒ Tree): Tree

    Definition Classes
    TreeMakers
  12. def combineExtractors(treeMakers: List[TreeMaker], pt: Type): Tree

    Definition Classes
    TreeMakers
  13. def emitSwitch(scrut: Tree, scrutSym: Symbol, cases: List[List[TreeMaker]], pt: Type): Option[Tree]

    Definition Classes
    SwitchEmissionTreeMakers
  14. def emitTypeSwitch(bindersAndCases: List[(Symbol, List[TreeMaker])], pt: Type): Option[List[CaseDef]]

    Definition Classes
    SwitchEmissionTreeMakers
  15. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  18. def fixerUpper(origOwner: Symbol, pos: Position): Traverser

    Attributes
    protected
    Definition Classes
    TreeMakers
  19. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  20. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  21. def inMatchMonad(tp: Type): Type

  22. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  23. final def matchMonadResult(tp: Type): Type

    Definition Classes
    MatchMonadInterface
  24. def matchMonadSym: Symbol

    Attributes
    protected
    Definition Classes
    OptimizedMatchMonadInterfaceMatchMonadInterface
  25. val matchOwner: Symbol

    Definition Classes
    MatchMonadInterface
  26. def maybeWithOuterCheck(binder: Symbol, expectedTp: Type)(cond: Tree): Tree

    Definition Classes
    TreeMakers
  27. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  28. def needsTypeTest(tp: Type, pt: Type): Boolean

    Definition Classes
    TreeMakers
  29. final def notify(): Unit

    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  31. def optimizeCases(prevBinder: Symbol, cases: List[List[TreeMaker]], pt: Type): (List[List[TreeMaker]], List[Tree])

    Definition Classes
    TreeMakers
  32. def propagateSubstitution(treeMakers: List[TreeMaker], initial: Substitution): List[TreeMaker]

    Definition Classes
    TreeMakers
  33. def pureType(tp: Type): Type

  34. def removeSubstOnly(makers: List[TreeMaker]): List[TreeMaker]

    Definition Classes
    TreeMakers
  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  36. def toString(): String

    Definition Classes
    AnyRef → Any
  37. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from TreeMakers

Inherited from TypedSubstitution

Inherited from MatchMonadInterface

Inherited from AnyRef

Inherited from Any