dotty.tools.dotc.core.Denotations

DenotUnion

Related Doc: package Denotations

final case class DenotUnion(denots1: PreDenotation, denots2: PreDenotation) extends PreDenotation with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, PreDenotation, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. DenotUnion
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. PreDenotation
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DenotUnion(denots1: PreDenotation, denots2: PreDenotation)

Type Members

  1. type AsSeenFromResult = PreDenotation

    Definition Classes
    DenotUnionPreDenotation

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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  5. final def asSeenFrom(pre: Type)(implicit ctx: Context): AsSeenFromResult

    The denotation with info(s) as seen from prefix type

    The denotation with info(s) as seen from prefix type

    Definition Classes
    PreDenotation
  6. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. def computeAsSeenFrom(pre: Type)(implicit ctx: Context): PreDenotation

    Attributes
    protected
    Definition Classes
    DenotUnionPreDenotation
  8. def containsSym(sym: Symbol): Boolean

    Group contains a denotation that refers to given symbol

    Group contains a denotation that refers to given symbol

    Definition Classes
    DenotUnionPreDenotation
  9. val denots1: PreDenotation

  10. val denots2: PreDenotation

  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  12. def exists: Boolean

    A denotation in the group exists

    A denotation in the group exists

    Definition Classes
    DenotUnionPreDenotation
  13. def filterDisjoint(denots: PreDenotation)(implicit ctx: Context): PreDenotation

    Keep only those denotations in this group which have a signature that's not already defined by denots.

    Keep only those denotations in this group which have a signature that's not already defined by denots.

    Definition Classes
    DenotUnionPreDenotation
  14. def filterExcluded(excluded: FlagSet)(implicit ctx: Context): PreDenotation

    Keep only those denotations in this group whose flags do not intersect with excluded.

    Keep only those denotations in this group whose flags do not intersect with excluded.

    Definition Classes
    DenotUnionPreDenotation
  15. def filterWithPredicate(p: (SingleDenotation) ⇒ Boolean): PreDenotation

    Keep only those denotations in this group which satisfy predicate p.

    Keep only those denotations in this group which satisfy predicate p.

    Definition Classes
    DenotUnionPreDenotation
  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def first: Denotation

    First/last denotation in the group

    First/last denotation in the group

    Definition Classes
    DenotUnionPreDenotation
  18. final def getClass(): Class[_]

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

    Definition Classes
    Any
  20. def last: Denotation

    Definition Classes
    DenotUnionPreDenotation
  21. def mapInherited(ownDenots: PreDenotation, prevDenots: PreDenotation, pre: Type)(implicit ctx: Context): PreDenotation

    Keep only those inherited members M of this predenotation for which the following is true

    Keep only those inherited members M of this predenotation for which the following is true

    • M is not marked Private
    • If M has a unique symbol, it does not appear in prevDenots.
    • M's signature as seen from prefix pre does not appear in ownDenots Return the denotation as seen from pre. Called from SymDenotations.computeMember. There, ownDenots are the denotations found in the base class, which shadow any inherited denotations with the same signature. prevDenots are the denotations that are defined in the class or inherited from a base type which comes earlier in the linearization.
    Definition Classes
    DenotUnionPreDenotation
  22. def matches(other: SingleDenotation)(implicit ctx: Context): Boolean

    Group contains a denotation with given signature

    Group contains a denotation with given signature

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

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

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

    Definition Classes
    AnyRef
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  27. def toDenot(pre: Type)(implicit ctx: Context): Denotation

    Convert to full denotation by &-ing all elements

    Convert to full denotation by &-ing all elements

    Definition Classes
    DenotUnionPreDenotation
  28. def union(that: PreDenotation): PreDenotation

    The union of two groups.

    The union of two groups.

    Definition Classes
    PreDenotation
  29. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from PreDenotation

Inherited from AnyRef

Inherited from Any

Ungrouped