scala.tools.nsc.Global

patmat

object patmat extends SubComponent with PatternMatching

Source
Global.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. patmat
  2. PatternMatching
  3. TreeDSL
  4. TypingTransformers
  5. Transform
  6. SubComponent
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait CNF extends Logic

  2. trait CodegenCore extends MatchMonadInterface

  3. trait CommonSubconditionElimination extends TreeMakerApproximation

  4. trait DPLLSolver extends CNF

  5. trait DeadCodeElimination extends TreeMakers

  6. case class DefaultOverrideMatchAttachment(default: Tree) extends Product with Serializable

  7. trait Logic extends Prettification

  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 MatchOptimizations extends CommonSubconditionElimination with DeadCodeElimination with SwitchEmission with OptimizedCodegen with SymbolicMatchAnalysis with DPLLSolver

  10. class MatchTransformer extends TypingTransformer

  11. trait MatchTranslation extends MatchMonadInterface

  12. trait OptimizedCodegen extends CodegenCore with TypedSubstitution with OptimizedMatchMonadInterface

  13. trait OptimizedMatchMonadInterface extends MatchMonadInterface

  14. class OptimizingMatchTranslator extends MatchTranslation with TreeMakers with MatchOptimizations

  15. class Phase extends StdPhase

    The phase defined by this transform

  16. trait Prettification extends AnyRef

  17. trait PureCodegen extends CodegenCore with PureMatchMonadInterface

  18. trait PureMatchMonadInterface extends MatchMonadInterface

  19. class PureMatchTranslator extends MatchTranslation with TreeMakers with PureCodegen

  20. abstract class StdPhase extends GlobalPhase

    A standard phase template

  21. trait SwitchEmission extends TreeMakers with OptimizedMatchMonadInterface

  22. trait SymbolicMatchAnalysis extends TreeMakerApproximation with Logic

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

  23. trait TreeMakerApproximation extends TreeMakers with Prettification

  24. trait TreeMakers extends TypedSubstitution

  25. trait TypedSubstitution extends MatchMonadInterface

  26. abstract class TypingTransformer extends Transformer

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 extends AnyRef

  7. val SYNTH_CASE: Int

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

    Definition Classes
    SubComponent
    Annotations
    @inline()
  9. final def asInstanceOf[T0]: T0

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

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

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  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()
  15. final def getClass(): Class[_]

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

    The global environment; overridden by instantiation in Global.

    The global environment; overridden by instantiation in Global.

    Definition Classes
    patmatPatternMatchingTreeDSLTypingTransformersSubComponent
  17. 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
  18. val internal: Boolean

    Internal flag to tell external from internal phases

    Internal flag to tell external from internal phases

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

    Definition Classes
    Any
  20. final def ne(arg0: AnyRef): Boolean

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

    Create a new phase which applies transformer

    Create a new phase which applies transformer

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

    The transformer factory

    The transformer factory

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

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

    Definition Classes
    AnyRef
  25. def ownPhase: 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
  26. def patmatDebug(msg: String): Unit

    Definition Classes
    PatternMatching
  27. val phaseName: String

    The name of the phase

    The name of the phase

    Definition Classes
    PatternMatchingSubComponent
  28. 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
  29. 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
  30. val runsAfter: List[String]

    List of phase names, this phase should run after

    List of phase names, this phase should run after

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

    List of phase names, this phase should run before

    List of phase names, this phase should run before

    Definition Classes
    SubComponent
  32. val runsRightAfter: None.type

    Phase name this phase will attach itself to, not allowing any phase to come between it and the phase name declared

    Phase name this phase will attach itself to, not allowing any phase to come between it and the phase name declared

    Definition Classes
    patmatSubComponent
  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  34. def toString(): String

    Definition Classes
    AnyRef → Any
  35. object vpmName extends AnyRef

  36. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from PatternMatching

Inherited from TreeDSL

Inherited from TypingTransformers

Inherited from Transform

Inherited from SubComponent

Inherited from AnyRef

Inherited from Any