c
scala.tools.nsc.transform.patmat.MatchApproximation.MatchApproximator
TreeMakersToPropsIgnoreNullChecks
class TreeMakersToPropsIgnoreNullChecks extends TreeMakersToProps
Ordering
- Alphabetic
- By Inheritance
Inherited
- TreeMakersToPropsIgnoreNullChecks
- TreeMakersToProps
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new TreeMakersToPropsIgnoreNullChecks(root: Global.Symbol)
Type Members
-
abstract
class
TreeMakerToProp extends (MatchApproximator.TreeMaker) ⇒ MatchApproximator.Prop
- Definition Classes
- TreeMakersToProps
Value Members
-
object
conservative extends TreeMakerToProp
- Definition Classes
- TreeMakersToProps
-
final
def
approximateMatch(cases: List[List[MatchApproximator.TreeMaker]], treeMakerToProp: TreeMakerToProp = conservative): collection.immutable.List[collection.immutable.List[Test]]
- Definition Classes
- TreeMakersToProps
-
final
def
binderToUniqueTree(b: Global.Symbol): MatchApproximator.Tree
- Definition Classes
- TreeMakersToProps
-
val
fullRewrite: PartialFunction[MatchApproximator.TreeMaker, MatchApproximator.Prop]
- Definition Classes
- TreeMakersToProps
-
def
onUnknown(handler: (MatchApproximator.TreeMaker) ⇒ MatchApproximator.Prop): TreeMakerToProp
- Definition Classes
- TreeMakersToProps
- Annotations
- @inline()
-
val
refutableRewrite: PartialFunction[MatchApproximator.TreeMaker, MatchApproximator.Prop]
- Definition Classes
- TreeMakersToProps
-
val
root: Global.Symbol
- Definition Classes
- TreeMakersToProps
-
def
unique(t: MatchApproximator.Tree, tpOverride: MatchApproximator.Type = NoType): MatchApproximator.Tree
- Definition Classes
- TreeMakersToProps
-
def
uniqueEqualityProp(testedPath: MatchApproximator.Tree, rhs: MatchApproximator.Tree): MatchApproximator.Prop
- Definition Classes
- TreeMakersToProps
-
def
uniqueNonNullProp(p: MatchApproximator.Tree): MatchApproximator.Prop
- Definition Classes
- TreeMakersToPropsIgnoreNullChecks → TreeMakersToProps
-
def
uniqueTp(tp: MatchApproximator.Type): MatchApproximator.Type
- Definition Classes
- TreeMakersToProps
-
def
uniqueTypeProp(testedPath: MatchApproximator.Tree, pt: MatchApproximator.Type): MatchApproximator.Prop
- Definition Classes
- TreeMakersToProps
The Scala compiler and reflection APIs.