case class MultiDenotation
extends Denotation

An overloaded denotation consisting of the alternatives of both given denotations.

Constructors

MultiDenotation ( denot1: Denotation , denot2: Denotation )

Members

val denot1 : Denotation
val denot2 : Denotation
def _1 : T1
def _2 : T2
def accessibleFrom ( pre: Type , superAccess: Boolean ) ( implicit ctx: Context ) : Denotation

The denotation made up from the alternatives of this denotation that are accessible from prefix pre, or NoDenotation if no accessible alternative exist...

The denotation made up from the alternatives of this denotation that are accessible from prefix pre, or NoDenotation if no accessible alternative exists.

def altsWith ( p: Symbol => Boolean ) : List [ SingleDenotation ]

The alternatives of this denotation that satisfy the predicate p.

The alternatives of this denotation that satisfy the predicate p.

def atSignature ( sig: Signature , site: Type , relaxed: Boolean ) ( implicit ctx: Context ) : Denotation

Resolve overloaded denotation to pick the ones with the given signature when seen from prefix site.

Resolve overloaded denotation to pick the ones with the given signature when seen from prefix site.

def copy ( denot1: Denotation , denot2: Denotation ) : MultiDenotation
def copy$default$1 : Denotation
def copy$default$2 : Denotation
[+] def current ( implicit ctx: Context ) : Denotation

The variant of this denotation that's current in the given context. If no such denotation exists, returns the denotation with each alternative at its fi...

The variant of this denotation that's current in the given context. If no such denotation exists, returns the denotation with each alternative at its first point of definition.

def derivedMultiDenotation ( d1: Denotation , d2: Denotation ) : R
def hasAltWith ( p: SingleDenotation => Boolean ) : Boolean

Does this denotation have an alternative that satisfies the predicate p?

Does this denotation have an alternative that satisfies the predicate p?

final def info ( implicit ctx: Context ) : Type

The type info of the denotation, exists only for non-overloaded denotations

The type info of the denotation, exists only for non-overloaded denotations

final def infoOrCompleter : Type

The type info, or, if this is a SymDenotation where the symbol is not yet completed, the completer

The type info, or, if this is a SymDenotation where the symbol is not yet completed, the completer

final def isType : Boolean

Is this a reference to a type symbol?

Is this a reference to a type symbol?

def mapInfo ( f: Type => Type ) ( implicit ctx: Context ) : Denotation

A denotation with the info of this denotation transformed using f

A denotation with the info of this denotation transformed using f

private def multiHasNot ( op: String ) : Nothing
final def signature ( implicit ctx: Context ) : Signature

The signature of the denotation.

The signature of the denotation.

def suchThat ( p: Symbol => Boolean ) ( implicit ctx: Context ) : SingleDenotation

The unique alternative of this denotation that satisfies the predicate p, or NoDenotation if no satisfying alternative exists.

The unique alternative of this denotation that satisfies the predicate p, or NoDenotation if no satisfying alternative exists.

override def toString : String
final def validFor : Period

The period during which this denotation is valid.

The period during which this denotation is valid.