scala.tools.nsc.transform.patmat.MatchTranslation.MatchTranslator
ExtractorCall
Companion object ExtractorCall
abstract class ExtractorCall extends PatternMatching.ExtractorAlignment
- Alphabetic
- By Inheritance
- ExtractorCall
- ExtractorAlignment
- ExtractorSubPatternAlignment
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new ExtractorCall(fun: Global.Tree, args: List[Global.Tree])
Abstract Value Members
- abstract def treeMakers(binder: Global.Symbol, binderKnownNonNull: Boolean, pos: Global.Position): List[MatchTranslator.TreeMaker]
Create the TreeMaker that embodies this extractor call
Create the TreeMaker that embodies this extractor call
binderKnownNonNull
indicates whether the cast impliesbinder
cannot be null whenbinderKnownNonNull
istrue
,ProductExtractorTreeMaker
does not do a (redundant) null check on binder
Concrete 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 ExtractorCall toany2stringadd[ExtractorCall] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (ExtractorCall, B)
- Implicit
- This member is added by an implicit conversion from ExtractorCall toArrowAssoc[ExtractorCall] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val args: List[Global.Tree]
Args will be broken down into the concatenation of:
productArity
product patterns (fixed length, corresponding to fields in case class or tuple components in classic unapply, or product selectors in product-based unapply)elementArity
element patterns (explicit patterns that pick off the prefix of the final sequence-valued component of the unapply, or a repeated case constructor arg)starArity
star patterns (0 or 1, absorbs the remaining variable-length components)Args will be broken down into the concatenation of:
productArity
product patterns (fixed length, corresponding to fields in case class or tuple components in classic unapply, or product selectors in product-based unapply)elementArity
element patterns (explicit patterns that pick off the prefix of the final sequence-valued component of the unapply, or a repeated case constructor arg)starArity
star patterns (0 or 1, absorbs the remaining variable-length components)- Definition Classes
- ExtractorAlignment → ExtractorSubPatternAlignment
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def checkedLength: Option[Int]
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- def elementArity: Int
- Definition Classes
- ExtractorAlignment
- def ensuring(cond: (ExtractorCall) ⇒ Boolean, msg: ⇒ Any): ExtractorCall
- Implicit
- This member is added by an implicit conversion from ExtractorCall toEnsuring[ExtractorCall] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (ExtractorCall) ⇒ Boolean): ExtractorCall
- Implicit
- This member is added by an implicit conversion from ExtractorCall toEnsuring[ExtractorCall] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: ⇒ Any): ExtractorCall
- Implicit
- This member is added by an implicit conversion from ExtractorCall toEnsuring[ExtractorCall] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): ExtractorCall
- Implicit
- This member is added by an implicit conversion from ExtractorCall toEnsuring[ExtractorCall] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def expectedExtractedType: Global.Type
- Definition Classes
- ExtractorAlignment
- def expectedLength: Int
- Attributes
- protected
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def firstIndexingBinder: Int
- Attributes
- protected
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ExtractorCall toStringFormat[ExtractorCall] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- val fun: Global.Tree
- Definition Classes
- ExtractorAlignment
- final def getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- lazy val ignoredSubPatBinders: Set[Global.Symbol]
- def isBool: Boolean
- Definition Classes
- ExtractorAlignment
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isSeq: Boolean
- Definition Classes
- ExtractorAlignment
- def isSingle: Boolean
- Definition Classes
- ExtractorAlignment
- val isStar: Boolean
- Definition Classes
- ExtractorSubPatternAlignment
- def lastIndexingBinder: Int
- Attributes
- protected
- def lengthCompareSym: Global.Symbol
- Definition Classes
- ExtractorAlignment
- def lengthGuard(binder: Global.Symbol): Option[Global.Tree]
- Attributes
- protected
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val nonStarArity: Int
- Definition Classes
- ExtractorSubPatternAlignment
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def productArity: Int
- Definition Classes
- ExtractorAlignment
- def resultInMonad(extractedBinder: Global.Symbol): Global.Type
- Definition Classes
- ExtractorAlignment
- def seqTree(binder: Global.Symbol): Global.Tree
- Attributes
- protected
- def starArity: Int
- Definition Classes
- ExtractorSubPatternAlignment
- lazy val subBoundTrees: List[BoundTree]
- def subPatBinders: collection.immutable.List[Global.Symbol]
- def subPatRefs(binder: Global.Symbol): List[Global.Tree]
- Attributes
- protected
- def subPatRefsSeq(binder: Global.Symbol): List[Global.Tree]
- Attributes
- protected
- def subPatTypes(extractedBinder: Global.Symbol): List[Global.Type]
- Definition Classes
- ExtractorAlignment
- final def synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def totalArity: Int
- Definition Classes
- ExtractorSubPatternAlignment
- def tupleSel(binder: Global.Symbol)(i: Int): Global.Tree
- Attributes
- protected
- def unapplyFormals: List[Global.Type]
- Definition Classes
- ExtractorAlignment
- def unapplySelector: Global.Symbol
- Definition Classes
- ExtractorAlignment
- 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
- @native() @throws(classOf[java.lang.InterruptedException])
- def →[B](y: B): (ExtractorCall, B)
- Implicit
- This member is added by an implicit conversion from ExtractorCall toArrowAssoc[ExtractorCall] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
The Scala compiler and reflection APIs.