scala.tools.nsc.Global

patmat

object patmat extends SubComponent with PatternMatching

Linear Supertypes
Content Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. patmat
  2. PatternMatching
  3. ScalacPatternExpanders
  4. MatchWarnings
  5. MatchOptimization
  6. MatchAnalysis
  7. MatchApproximation
  8. Solving
  9. ScalaLogic
  10. TreeAndTypeAnalysis
  11. Logic
  12. MatchCps
  13. MatchTreeMaking
  14. MatchCodeGen
  15. MatchTranslation
  16. Interface
  17. TreeDSL
  18. Debugging
  19. TypingTransformers
  20. Transform
  21. SubComponent
  22. AnyRef
  23. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. implicit class AlignedOps extends AnyRef

    Definition Classes
    ScalacPatternExpanders
  2. trait CNF extends PropositionalLogic

    Definition Classes
    Solving
  3. trait CheckableTreeAndTypeAnalysis extends AnyRef

    Definition Classes
    TreeAndTypeAnalysis
  4. trait CodegenCore extends MatchMonadInterface

    Definition Classes
    MatchCodeGen
  5. trait CommonSubconditionElimination extends OptimizedCodegen with MatchApproximator

    Definition Classes
    MatchOptimization
  6. trait MatchAnalyzer extends MatchApproximator

    Definition Classes
    MatchAnalysis
  7. trait MatchApproximator extends TreeMakers with TreesAndTypesDomain

    Represent a match as a formula in propositional logic that encodes whether the match matches (abstractly: we only consider types)

  8. trait MatchMonadInterface extends AnyRef

    Interface with user-defined match monad? if there's a __match in scope, we use this as the match strategy, assuming it conforms to MatchStrategy as defined below:

  9. trait MatchOptimizer extends OptimizedCodegen with SwitchEmission with CommonSubconditionElimination

    Definition Classes
    MatchOptimization
  10. class MatchTransformer extends TypingTransformer

    Definition Classes
    PatternMatching
  11. trait MatchTranslator extends PatternMatching.TreeMakers with PatternMatching.TreeMakerWarnings

    Definition Classes
    MatchTranslation
  12. trait OptimizedCodegen extends CodegenCore with TypedSubstitution with MatchMonadInterface

    Definition Classes
    MatchCodeGen
  13. class OptimizingMatchTranslator extends MatchTranslator with MatchOptimizer with MatchAnalyzer with Solver

    Definition Classes
    PatternMatching
  14. type PatternAligned = transform.patmat.ScalacPatternExpanders.ScalacPatternExpander.Aligned

    Definition Classes
    ScalacPatternExpanders
  15. class Phase extends StdPhase

    The phase defined by this transform

  16. trait PropositionalLogic extends AnyRef

    Definition Classes
    Logic
  17. trait PureCodegen extends CodegenCore with PureMatchMonadInterface

    Definition Classes
    MatchCodeGen
  18. trait PureMatchMonadInterface extends MatchMonadInterface

    Definition Classes
    MatchCodeGen
  19. class PureMatchTranslator extends MatchTranslator with PureCodegen

    Definition Classes
    PatternMatching
  20. trait ScalacPatternExpander extends PatternExpander[Global.Tree, Global.Type]

    Definition Classes
    ScalacPatternExpanders
  21. trait Solver extends CNF

    Definition Classes
    Solving
  22. abstract class StdPhase extends GlobalPhase

    A standard phase template

  23. final case class Suppression(exhaustive: Boolean, unreachable: Boolean) extends Product with Serializable

    Definition Classes
    MatchTreeMaking
  24. trait SwitchEmission extends TreeMakers with MatchMonadInterface

    Definition Classes
    MatchOptimization
  25. trait TreeMakerWarnings extends AnyRef

    Definition Classes
    MatchWarnings
  26. trait TreeMakers extends TypedSubstitution with CodegenCore

    Definition Classes
    MatchTreeMaking
  27. trait TreesAndTypesDomain extends PropositionalLogic with CheckableTreeAndTypeAnalysis

    Definition Classes
    ScalaLogic
  28. trait TypedSubstitution extends MatchMonadInterface

    Definition Classes
    Interface
  29. abstract class TypingTransformer extends Global.Transformer

    Definition Classes
    TypingTransformers

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 CODE

    Definition Classes
    TreeDSL
  7. object Suppression extends Serializable

    Definition Classes
    MatchTreeMaking
  8. final def afterOwnPhase[T](op: ⇒ T): T

    Definition Classes
    SubComponent
    Annotations
    @inline()
  9. def alignAcrossRows(xss: List[List[AnyRef]], sep: String, lineSep: String = "\n"): String

    Definition Classes
    Logic
  10. object alignPatterns extends ScalacPatternExpander

    Definition Classes
    ScalacPatternExpanders
  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  12. final def beforeOwnPhase[T](op: ⇒ T): T

    Definition Classes
    SubComponent
    Annotations
    @inline()
  13. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. final def dealiasWiden(tp: Global.Type): Global.Type

    Attributes
    protected
    Definition Classes
    Interface
  15. object debug

    Definition Classes
    Debugging
  16. def enabled: Boolean

    Is this component enabled? Default is true.

    Is this component enabled? Default is true.

    Definition Classes
    SubComponent
  17. final def eq(arg0: AnyRef): Boolean

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

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

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  21. val global: Global.this.type

    The global environment; overridden by instantiation in Global.

    The global environment; overridden by instantiation in Global.

    Definition Classes
    patmatScalacPatternExpandersTreeDSLDebuggingTypingTransformersSubComponent
  22. final def hasStableSymbol(p: Global.Tree): Boolean

    Attributes
    protected
    Definition Classes
    Interface
  23. def hashCode(): Int

    SubComponent are added to a HashSet and two phases are the same if they have the same name

    SubComponent are added to a HashSet and two phases are the same if they have the same name

    Definition Classes
    SubComponent → AnyRef → Any
  24. val initial: Boolean

    True if this phase runs before all other phases.

    True if this phase runs before all other phases. Usually, parser.

    Definition Classes
    SubComponent
  25. def instanceOfTpImplies(tp: Global.Type, tpImplied: Global.Type): Boolean

    Definition Classes
    TreeAndTypeAnalysis
  26. val internal: Boolean

    True if this phase is not provided by a plug-in.

    True if this phase is not provided by a plug-in.

    Definition Classes
    SubComponent
  27. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  28. final def mkFALSE: Global.Literal

    Attributes
    protected
    Definition Classes
    Interface
  29. final def mkTRUE: Global.Literal

    Attributes
    protected
    Definition Classes
    Interface
  30. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  31. def newPhase(prev: nsc.Phase): StdPhase

    Create a new phase which applies transformer

    Create a new phase which applies transformer

    Definition Classes
    TransformSubComponent
  32. def newTransformer(unit: Global.CompilationUnit): Global.Transformer

    The transformer factory

    The transformer factory

    Definition Classes
    PatternMatchingTransform
  33. final def notify(): Unit

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

    Definition Classes
    AnyRef
  35. def ownPhase: nsc.Phase

    The phase corresponding to this subcomponent in the current compiler run

    The phase corresponding to this subcomponent in the current compiler run

    Definition Classes
    SubComponent
  36. val phaseName: String

    The name of the phase

    The name of the phase

    Definition Classes
    PatternMatchingSubComponent
  37. def phaseNewFlags: Long

    New flags defined by the phase which are not valid before

    New flags defined by the phase which are not valid before

    Definition Classes
    SubComponent
  38. def phaseNextFlags: Long

    New flags defined by the phase which are not valid until immediately after it

    New flags defined by the phase which are not valid until immediately after it

    Definition Classes
    SubComponent
  39. def removeCPSFromPt(pt: Global.Type): Global.Type

    Definition Classes
    MatchCps
  40. val requires: List[String]

    Names of phases required by this component.

    Names of phases required by this component. Default is Nil.

    Definition Classes
    SubComponent
  41. val runsAfter: collection.immutable.List[String]

    Names of phases that must run before this phase.

    Names of phases that must run before this phase.

    Definition Classes
    patmatSubComponent
  42. val runsBefore: List[String]

    Names of phases that must run after this phase.

    Names of phases that must run after this phase. Default is Nil.

    Definition Classes
    SubComponent
  43. val runsRightAfter: None.type

    Name of the phase that this phase must follow immediately.

    Name of the phase that this phase must follow immediately.

    Definition Classes
    patmatSubComponent
  44. def sameValue(a: Global.Tree, b: Global.Tree): Boolean

    Definition Classes
    TreeAndTypeAnalysis
  45. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  46. val terminal: Boolean

    True if this phase runs after all other phases.

    True if this phase runs after all other phases. Usually, terminal.

    Definition Classes
    SubComponent
  47. def toString(): String

    Definition Classes
    AnyRef → Any
  48. object vpmName

    Definition Classes
    Interface
  49. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PatternMatching

Inherited from ScalacPatternExpanders

Inherited from MatchWarnings

Inherited from MatchOptimization

Inherited from MatchAnalysis

Inherited from MatchApproximation

Inherited from Solving

Inherited from ScalaLogic

Inherited from TreeAndTypeAnalysis

Inherited from Logic

Inherited from MatchCps

Inherited from MatchTreeMaking

Inherited from MatchCodeGen

Inherited from MatchTranslation

Inherited from Interface

Inherited from TreeDSL

Inherited from Debugging

Inherited from TypingTransformers

Inherited from Transform

Inherited from SubComponent

Inherited from AnyRef

Inherited from Any

Ungrouped