scala.tools.nsc.transform.patmat.MatchTreeMaking.TreeMakers

CondTreeMaker

abstract class CondTreeMaker extends FunTreeMaker

Source
MatchTreeMaking.scala
Linear Supertypes
Known Subclasses
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CondTreeMaker
  2. FunTreeMaker
  3. TreeMaker
  4. AnyRef
  5. Any
Implicitly
  1. by StringAdd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CondTreeMaker()

Abstract Value Members

  1. abstract val cond: Global.Tree

  2. abstract val nextBinderTp: Global.Type

  3. abstract val prevBinder: Global.Symbol

  4. abstract val res: Global.Tree

Concrete Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to StringAdd[CondTreeMaker] performed by method StringAdd in scala.Predef.
    Definition Classes
    StringAdd
  5. def ->[B](y: B): (CondTreeMaker, B)

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to ArrowAssoc[CondTreeMaker] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: AnyRef): Boolean

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

    Definition Classes
    Any
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def chainBefore(next: Global.Tree)(casegen: TreeMakers.Casegen): Global.Tree

    Definition Classes
    CondTreeMakerTreeMaker
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  11. def ensuring(cond: (CondTreeMaker) ⇒ Boolean, msg: ⇒ Any): CondTreeMaker

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to Ensuring[CondTreeMaker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  12. def ensuring(cond: (CondTreeMaker) ⇒ Boolean): CondTreeMaker

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to Ensuring[CondTreeMaker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  13. def ensuring(cond: Boolean, msg: ⇒ Any): CondTreeMaker

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to Ensuring[CondTreeMaker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  14. def ensuring(cond: Boolean): CondTreeMaker

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to Ensuring[CondTreeMaker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  18. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to StringFormat[CondTreeMaker] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  19. final def getClass(): Class[_]

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

    Definition Classes
    AnyRef → Any
  21. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  22. lazy val localSubstitution: TreeMakers.Substitution

    Definition Classes
    CondTreeMakerTreeMaker
  23. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  24. lazy val nextBinder: Global.TermSymbol

    Definition Classes
    CondTreeMakerFunTreeMaker
  25. final def notify(): Unit

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

    Definition Classes
    AnyRef
  27. def pos: Global.Position

    Definition Classes
    FunTreeMakerTreeMaker
  28. 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 SI-5158, SI-5739 and SI-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
  29. 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
  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  31. def toString(): String

    Definition Classes
    AnyRef → Any
  32. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  35. def [B](y: B): (CondTreeMaker, B)

    Implicit information
    This member is added by an implicit conversion from CondTreeMaker to ArrowAssoc[CondTreeMaker] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from FunTreeMaker

Inherited from TreeMaker

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from CondTreeMaker to StringAdd[CondTreeMaker]

Inherited by implicit conversion StringFormat from CondTreeMaker to StringFormat[CondTreeMaker]

Inherited by implicit conversion Ensuring from CondTreeMaker to Ensuring[CondTreeMaker]

Inherited by implicit conversion ArrowAssoc from CondTreeMaker to ArrowAssoc[CondTreeMaker]

Ungrouped