scala.tools.nsc.transform.patmat.MatchTreeMaking.TreeMakers
TypeTestTreeMaker
Companion object TypeTestTreeMaker
case class TypeTestTreeMaker(prevBinder: Global.Symbol, testedBinder: Global.Symbol, expectedTp: Global.Type, nextBinderTp: Global.Type)(pos: Global.Position, extractorArgTypeTest: Boolean = false) extends CondTreeMaker with Product with Serializable
implements the run-time aspects of (§8.2) (typedPattern has already done the necessary type transformations)
Type patterns consist of types, type variables, and wildcards. A type pattern T is of one of the following forms:
- A reference to a class C, p.C, or T#C. This type pattern matches any non-null instance of the given class. Note that the prefix of the class, if it is given, is relevant for determining class instances. For instance, the pattern p.C matches only instances of classes C which were created with the path p as prefix. The bottom types scala.Nothing and scala.Null cannot be used as type patterns, because they would match nothing in any case.
- A singleton type p.type. This type pattern matches only the value denoted by the path p (that is, a pattern match involved a comparison of the matched value with p using method eq in class AnyRef). // TODO: the actual pattern matcher uses ==, so that's what I'm using for now // https://github.com/scala/bug/issues/4577 "pattern matcher, still disappointing us at equality time"
- A compound type pattern T1 with ... with Tn where each Ti is a type pat- tern. This type pattern matches all values that are matched by each of the type patterns Ti.
- A parameterized type pattern T[a1,...,an], where the ai are type variable patterns or wildcards _. This type pattern matches all values which match T for some arbitrary instantiation of the type variables and wildcards. The bounds or alias type of these type variable are determined as described in (§8.3).
- A parameterized type pattern scala.Array[T1], where T1 is a type pattern. // TODO This type pattern matches any non-null instance of type scala.Array[U1], where U1 is a type matched by T1.
- Source
- MatchTreeMaking.scala
- Alphabetic
- By Inheritance
- TypeTestTreeMaker
- Serializable
- Product
- Equals
- CondTreeMaker
- FunTreeMaker
- TreeMaker
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new TypeTestTreeMaker(prevBinder: Global.Symbol, testedBinder: Global.Symbol, expectedTp: Global.Type, nextBinderTp: Global.Type)(pos: Global.Position, extractorArgTypeTest: Boolean = false)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toany2stringadd[TypeTestTreeMaker] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (TypeTestTreeMaker, B)
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toArrowAssoc[TypeTestTreeMaker] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def chainBefore(next: Global.Tree)(casegen: TreeMakers.Casegen): Global.Tree
- Definition Classes
- CondTreeMaker → TreeMaker
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- val cond: Result
- Definition Classes
- TypeTestTreeMaker → CondTreeMaker
- def ensuring(cond: (TypeTestTreeMaker) => Boolean, msg: => Any): TypeTestTreeMaker
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toEnsuring[TypeTestTreeMaker] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (TypeTestTreeMaker) => Boolean): TypeTestTreeMaker
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toEnsuring[TypeTestTreeMaker] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): TypeTestTreeMaker
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toEnsuring[TypeTestTreeMaker] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): TypeTestTreeMaker
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toEnsuring[TypeTestTreeMaker] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val expectedTp: Global.Type
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toStringFormat[TypeTestTreeMaker] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def impliesBinderNonNull(binder: Global.Symbol): Boolean
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isPureTypeTest: Result
- lazy val localSubstitution: TreeMakers.Substitution
- Definition Classes
- CondTreeMaker → TreeMaker
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- lazy val nextBinder: Global.TermSymbol
- Definition Classes
- CondTreeMaker → FunTreeMaker
- val nextBinderTp: Global.Type
- Definition Classes
- TypeTestTreeMaker → CondTreeMaker
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val pos: Global.Position
- Definition Classes
- TypeTestTreeMaker → FunTreeMaker → TreeMaker
- val prevBinder: Global.Symbol
- Definition Classes
- TypeTestTreeMaker → CondTreeMaker
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def renderCondition(cs: TypeTestCondStrategy): Result
- val res: Global.Tree
- Definition Classes
- TypeTestTreeMaker → CondTreeMaker
- def subPatternsAsSubstitution: TreeMakers.Substitution
The substitution that specifies the trees that compute the values of the subpattern binders.
The substitution that specifies the trees that compute the values of the subpattern binders.
Should not be used to perform actual substitution! Only used to reason symbolically about the values the subpattern binders are bound to. See TreeMakerToCond#updateSubstitution.
Overridden in PreserveSubPatBinders to pretend it replaces the subpattern binders by subpattern refs (Even though we don't do so anymore -- see scala/bug#5158, scala/bug#5739 and scala/bug#6070.)
TODO: clean this up, would be nicer to have some higher-level way to compute the binders bound by this tree maker and the symbolic values that correspond to them
- Definition Classes
- TreeMaker
- def substitution: TreeMakers.Substitution
captures the scope and the value of the bindings in patterns important *when* the substitution happens (can't accumulate and do at once after the full matcher has been constructed)
captures the scope and the value of the bindings in patterns important *when* the substitution happens (can't accumulate and do at once after the full matcher has been constructed)
- Definition Classes
- TreeMaker
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- val testedBinder: Global.Symbol
- def toString(): String
- Definition Classes
- TypeTestTreeMaker → AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def →[B](y: B): (TypeTestTreeMaker, B)
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker toArrowAssoc[TypeTestTreeMaker] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
The Scala compiler and reflection APIs.