scala.tools.nsc.typechecker.PatMatVirtualiser

TreeMakers

trait TreeMakers extends TypedSubstitution

Self Type
TreeMakers with CodegenCore
Source
PatMatVirtualiser.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. TreeMakers
  2. TypedSubstitution
  3. MatchMonadInterface
  4. AnyRef
  5. 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. case class SubstOnlyTreeMaker(prevBinder: Symbol, nextBinder: Symbol) extends TreeMaker with Product with Serializable

  10. class Substitution extends AnyRef

  11. abstract class TreeMaker extends AnyRef

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

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

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

Abstract Value Members

  1. abstract def inMatchMonad(tp: Type): Type

    Definition Classes
    MatchMonadInterface
  2. abstract def matchMonadSym: Symbol

    Attributes
    protected
    Definition Classes
    MatchMonadInterface
  3. abstract def pureType(tp: Type): Type

    Definition Classes
    MatchMonadInterface
  4. 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

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

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

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

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

  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
  19. final def getClass(): Class[_]

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

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

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

    Definition Classes
    MatchMonadInterface
  23. val matchOwner: Symbol

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

  25. final def ne(arg0: AnyRef): Boolean

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

  27. final def notify(): Unit

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

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

  30. def propagateSubstitution(treeMakers: List[TreeMaker], initial: Substitution): List[TreeMaker]

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

  32. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  33. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from TypedSubstitution

Inherited from MatchMonadInterface

Inherited from AnyRef

Inherited from Any