Constructors

DenotUnion ( denots1: PreDenotation , denots2: PreDenotation )

Members

[+] type AsSeenFromResult = PreDenotation

[+] val denots1 : PreDenotation

[+] val denots2 : PreDenotation

[+] def _1 : T1

[+] def _2 : T2

[+] protected def computeAsSeenFrom ( pre: Type ) ( implicit ctx: Context ) : PreDenotation

[+] def containsSym ( sym: Symbol ) : Boolean

Group contains a denotation that refers to given symbol

[+] def copy ( denots1: PreDenotation , denots2: PreDenotation ) : DenotUnion

[+] def copy$default$1 : PreDenotation

[+] def copy$default$2 : PreDenotation

[+] private def derivedUnion ( denots1: PreDenotation , denots2: PreDenotation ) : PreDenotation

[+] def exists : Boolean

A denotation in the group exists

[+] 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.

[+] def filterExcluded ( excluded: FlagSet ) ( implicit ctx: Context ) : PreDenotation

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

[+] def filterWithPredicate ( p: SingleDenotation => Boolean ) : PreDenotation

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

[+] def first : Denotation

First/last denotation in the group

[+] def last : Denotation

[+] 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 - M is not marked Private - If M has a unique symbol, it does...

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.

[+] def matches ( other: SingleDenotation ) ( implicit ctx: Context ) : Boolean

Group contains a denotation with given signature

[+] def toDenot ( pre: Type ) ( implicit ctx: Context ) : Denotation

Convert to full denotation by &-ing all elements