c
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
Linear Supertypes
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- TypeTestTreeMaker
- Serializable
- Serializable
- Product
- Equals
- CondTreeMaker
- FunTreeMaker
- TreeMaker
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
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 to any2stringadd[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 to ArrowAssoc[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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
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 to Ensuring[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 to Ensuring[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 to Ensuring[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 to Ensuring[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[java.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 to StringFormat[TypeTestTreeMaker] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- 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
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
val
pos: Global.Position
- Definition Classes
- TypeTestTreeMaker → FunTreeMaker → TreeMaker
-
val
prevBinder: Global.Symbol
- Definition Classes
- TypeTestTreeMaker → CondTreeMaker
- 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
→[B](y: B): (TypeTestTreeMaker, B)
- Implicit
- This member is added by an implicit conversion from TypeTestTreeMaker to ArrowAssoc[TypeTestTreeMaker] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
The Scala compiler and reflection APIs.