dotty.tools.dotc.transform.PatternMatcher.Translator.MatchTranslator

ExtractorCall

Related Docs: object ExtractorCall | package MatchTranslator

abstract class ExtractorCall extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ExtractorCall
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExtractorCall(aligner: MatchTranslator.PatternAligned)

Abstract Value Members

  1. abstract def args: List[ast.tpd.Tree]

  2. abstract def resultType: Type

  3. abstract def treeMaker(binder: Symbol, binderKnownNonNull: Boolean, pos: Position, binderTypeTested: Type): MatchTranslator.TreeMaker

    Create the TreeMaker that embodies this extractor call

    Create the TreeMaker that embodies this extractor call

    binder has been casted to paramType if necessary binderKnownNonNull indicates whether the cast implies binder cannot be null when binderKnownNonNull is true, ProductExtractorTreeMaker does not do a (redundant) null check on binder

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. val aligner: MatchTranslator.PatternAligned

  5. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  6. def checkedLength: Option[Int]

  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  10. def expectedLength: Int

    Attributes
    protected
  11. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def firstIndexingBinder: Int

    Attributes
    protected
  13. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  14. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  15. lazy val ignoredSubPatBinders: Set[Symbol]

  16. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  17. def lastIndexingBinder: Int

    Attributes
    protected
  18. def lengthGuard(binder: Symbol): Option[ast.tpd.Tree]

    Attributes
    protected
  19. val mathSignum: ast.tpd.Select

  20. val mathSignymSymbol: TermSymbol

  21. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  22. final def notify(): Unit

    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  24. def rawSubPatTypes: List[Type]

  25. def resultInMonad: Type

  26. def seqTree(binder: Symbol): ast.tpd.Tree

    Attributes
    protected
  27. lazy val subBoundTrees: List[BoundTree]

  28. def subPatBinders: List[Symbol]

  29. def subPatRefs(binder: Symbol): List[ast.tpd.Tree]

    Attributes
    protected
  30. def subPatRefsSeq(binder: Symbol): List[ast.tpd.Tree]

    Attributes
    protected
  31. def subPatTypes: List[Type]

  32. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  33. def toString(): String

    Definition Classes
    AnyRef → Any
  34. def tupleSel(binder: Symbol)(i: Int): ast.tpd.Tree

    Attributes
    protected
  35. def typeArgOfBaseTypeOr(tp: Type, baseClass: Symbol)(or: ⇒ Type): Type

  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped