scala.tools.nsc.matching.ParallelMatching.MatchMatrix

MixTypes

class MixTypes extends RuleApplication

Mixture rule for type tests. moreSpecific: more specific patterns subsumed: more general patterns (subsuming current), rows index and subpatterns remaining: remaining, rows index and pattern

Source
ParallelMatching.scala
Linear Supertypes
RuleApplication, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. MixTypes
  2. RuleApplication
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new MixTypes(pmatch: PatternMatch, rest: Rep)

Type Members

  1. case class No(bx: Int, remaining: Pattern) extends Product with Serializable

  2. case class Yes(bx: Int, moreSpecific: Pattern, subsumed: List[Pattern]) extends Product with Serializable

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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. lazy val casted: Scrutinee

  8. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  9. lazy val codegen: Tree

    Definition Classes
    RuleApplication

  10. lazy val cond: Tree

    Definition Classes
    MixTypes → RuleApplication

  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. lazy val failure: Tree

    Definition Classes
    MixTypes → RuleApplication

  14. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  15. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any

  16. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  17. lazy val head: Pattern

    Definition Classes
    RuleApplication

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  19. def mkFail(xs: List[Row]): Tree

    Definition Classes
    RuleApplication

  20. val moreSpecific: List[Pattern]

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

    Definition Classes
    AnyRef

  22. lazy val newRows: List[Row]

  23. val noes: List[No]

  24. final def notify(): Unit

    Definition Classes
    AnyRef

  25. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  26. lazy val patterns: List[Pattern]

    Definition Classes
    RuleApplication

  27. val pmatch: PatternMatch

    Definition Classes
    MixTypes → RuleApplication

  28. val remaining: List[(Int, Pattern)]

  29. def remake(rows: List[Row], pvgroup: PatternVarGroup = emptyPatternVarGroup, includeScrut: Boolean = true): Rep

    Definition Classes
    RuleApplication

  30. val rest: Rep

    Definition Classes
    MixTypes → RuleApplication

  31. lazy val scrut: Scrutinee

    Definition Classes
    RuleApplication

  32. val subsumed: List[(Int, List[Pattern])]

  33. lazy val subtestVars: List[PatternVar]

  34. lazy val subtests: List[(Int, List[Pattern])]

  35. lazy val success: Tree

    Definition Classes
    MixTypes → RuleApplication

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

    Definition Classes
    AnyRef

  37. def toString(): String

    Definition Classes
    RuleApplication → AnyRef → Any

  38. final def tree(): Tree

    translate outcome of the rule application into code (possible involving recursive application of rewriting)

    translate outcome of the rule application into code (possible involving recursive application of rewriting)

    Definition Classes
    MixTypes → RuleApplication

  39. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  40. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  41. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  42. val yeses: List[Yes]

Inherited from RuleApplication

Inherited from AnyRef

Inherited from Any