Packages

class TreeMakersToPropsIgnoreNullChecks extends TreeMakersToProps

Source
MatchAnalysis.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TreeMakersToPropsIgnoreNullChecks
  2. TreeMakersToProps
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TreeMakersToPropsIgnoreNullChecks(root: Global.Symbol)

Type Members

  1. abstract class TreeMakerToProp extends (MatchApproximator.TreeMaker) ⇒ MatchApproximator.Prop
    Definition Classes
    TreeMakersToProps

Value Members

  1. object conservative extends TreeMakerToProp
    Definition Classes
    TreeMakersToProps
  2. final def approximateMatch(cases: List[List[MatchApproximator.TreeMaker]], treeMakerToProp: TreeMakerToProp = conservative): collection.immutable.List[collection.immutable.List[Test]]
    Definition Classes
    TreeMakersToProps
  3. final def binderToUniqueTree(b: Global.Symbol): MatchApproximator.Tree
    Definition Classes
    TreeMakersToProps
  4. val fullRewrite: PartialFunction[MatchApproximator.TreeMaker, MatchApproximator.Prop]
    Definition Classes
    TreeMakersToProps
  5. def onUnknown(handler: (MatchApproximator.TreeMaker) ⇒ MatchApproximator.Prop): TreeMakerToProp
    Definition Classes
    TreeMakersToProps
    Annotations
    @inline()
  6. val refutableRewrite: PartialFunction[MatchApproximator.TreeMaker, MatchApproximator.Prop]
    Definition Classes
    TreeMakersToProps
  7. val root: Global.Symbol
    Definition Classes
    TreeMakersToProps
  8. def unique(t: MatchApproximator.Tree, tpOverride: MatchApproximator.Type = NoType): MatchApproximator.Tree
    Definition Classes
    TreeMakersToProps
  9. def uniqueEqualityProp(testedPath: MatchApproximator.Tree, rhs: MatchApproximator.Tree): MatchApproximator.Prop
    Definition Classes
    TreeMakersToProps
  10. def uniqueNonNullProp(p: MatchApproximator.Tree): MatchApproximator.Prop
  11. def uniqueTp(tp: MatchApproximator.Type): MatchApproximator.Type
    Definition Classes
    TreeMakersToProps
  12. def uniqueTypeProp(testedPath: MatchApproximator.Tree, pt: MatchApproximator.Type): MatchApproximator.Prop
    Definition Classes
    TreeMakersToProps