MultiDenotation

Instance Constructors

new MultiDenotation(denot1: Denotation, denot2: Denotation)

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
def &(that: Denotation, pre: Type, safeIntersection: Boolean = false)(implicit ctx: Context): Denotation

Form a denotation by conjoining with denotation that.
Form a denotation by conjoining with denotation that.
NoDenotations are dropped. MultiDenotations are handled by merging parts with same signatures. SingleDenotations with equal signatures are joined as follows:
In a first step, consider only those denotations which have symbols that are accessible from prefix pre.
If there are several such denotations, try to pick one by applying the following three precedence rules in decreasing order of priority:
1. Prefer denotations with more specific infos. 2. If infos are equally specific, prefer denotations with concrete symbols over denotations with abstract symbols. 3. If infos are equally specific and symbols are equally concrete, prefer denotations with symbols defined in subclasses over denotations with symbols defined in proper superclasses.
If there is exactly one (preferred) accessible denotation, return it.
If there is no preferred accessible denotation, return a JointRefDenotation with one of the operand symbols (unspecified which one), and an info which is the intersection (using & or safe_& if safeIntersection is true) of the infos of the operand denotations.
If SingleDenotations with different signatures are joined, return NoDenotation.
Definition Classes
Denotation
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
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 exists.
The denotation made up from the alternatives of this denotation that are accessible from prefix pre, or NoDenotation if no accessible alternative exists.

Definition Classes
MultiDenotation → Denotation
final def alternatives: List[SingleDenotation]

The set of alternative single-denotations making up this denotation
The set of alternative single-denotations making up this denotation

Definition Classes
Denotation
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.

Definition Classes
MultiDenotation → Denotation
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def asSingleDenotation: SingleDenotation

Definition Classes
Denotation
final def asSymDenotation: SymDenotation

Definition Classes
Denotation
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.
relaxed
When true, consider only parameter signatures for a match.

Definition Classes
MultiDenotation → Denotation
def checkUnique(implicit ctx: Context): SingleDenotation

If this is a SingleDenotation, return it, otherwise throw a TypeError
If this is a SingleDenotation, return it, otherwise throw a TypeError

Definition Classes
Denotation
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def current(implicit ctx: Context): Denotation

The variant of this denotation that's current in the given context.
The variant of this denotation that's current in the given context. If no such denotation exists: If Mode.FutureDefs is set, the denotation with each alternative at its first point of definition, otherwise a NotDefinedHere exception is thrown.

Definition Classes
MultiDenotation → Denotation
def currentIfExists(implicit ctx: Context): Denotation

The variant of this denotation that's current in the given context, or NotDefinedHereDenotation if this denotation does not exist at current phase, but is defined elsewhere in this run.
The variant of this denotation that's current in the given context, or NotDefinedHereDenotation if this denotation does not exist at current phase, but is defined elsewhere in this run.

Definition Classes
MultiDenotation → Denotation
val denot1: Denotation
val denot2: Denotation
def derivedMultiDenotation(d1: Denotation, d2: Denotation): MultiDenotation
def disambiguate(p: (Symbol) ⇒ Boolean)(implicit ctx: Context): SingleDenotation

If this denotation is overloaded, filter with given predicate.
If this denotation is overloaded, filter with given predicate. If result is still overloaded throw a TypeError. Note: disambiguate is slightly different from suchThat in that single-denotations that do not satisfy the predicate are left alone (whereas suchThat would map them to NoDenotation).

Definition Classes
Denotation
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def exists: Boolean

Is this denotation different from NoDenotation or an ErrorDenotation?
Is this denotation different from NoDenotation or an ErrorDenotation?

Definition Classes
Denotation
def fallbackToText(printer: Printer): Text

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

Definition Classes
Showable
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def findMember(name: Name, pre: Type, excluded: FlagSet)(implicit ctx: Context): Denotation

Find member of this denotation with given name and produce a denotation that contains the type of the member as seen from given prefix pre.
Find member of this denotation with given name and produce a denotation that contains the type of the member as seen from given prefix pre. Exclude all members that have flags in excluded from consideration.

Definition Classes
Denotation
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
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?

Definition Classes
MultiDenotation → Denotation
final def info(implicit ctx: Context): Nothing

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

Definition Classes
MultiDenotation → Denotation
final def infoOrCompleter: Nothing

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

Definition Classes
MultiDenotation → Denotation
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def isOverloaded: Boolean

Is this denotation overloaded?
Is this denotation overloaded?

Definition Classes
Denotation
def isTerm: Boolean

Is this a reference to a term symbol?
Is this a reference to a term symbol?

Definition Classes
Denotation
final def isType: Boolean

Is this a reference to a type symbol?
Is this a reference to a type symbol?

Definition Classes
MultiDenotation → Denotation
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

Definition Classes
MultiDenotation → Denotation
def matchingDenotation(site: Type, targetType: Type)(implicit ctx: Context): SingleDenotation

The alternative of this denotation that has a type matching targetType when seen as a member of type site, NoDenotation if none exists.
The alternative of this denotation that has a type matching targetType when seen as a member of type site, NoDenotation if none exists.

Definition Classes
Denotation
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def orElse(that: ⇒ Denotation): Denotation

If this denotation does not exist, fallback to alternative
If this denotation does not exist, fallback to alternative

Definition Classes
Denotation
def requiredClass(name: PreName)(implicit ctx: Context): ClassSymbol

Definition Classes
Denotation
def requiredMethod(name: PreName, argTypes: List[Type])(implicit ctx: Context): TermSymbol

Definition Classes
Denotation
def requiredMethod(name: PreName)(implicit ctx: Context): TermSymbol

Definition Classes
Denotation
def requiredMethodRef(name: PreName, argTypes: List[Type])(implicit ctx: Context): TermRef

Definition Classes
Denotation
def requiredMethodRef(name: PreName)(implicit ctx: Context): TermRef

Definition Classes
Denotation
def requiredSymbol(p: (Symbol) ⇒ Boolean, source: AbstractFile = null, generateStubs: Boolean = true)(implicit ctx: Context): Symbol

Return symbol in this denotation that satisfies the given predicate.
Return symbol in this denotation that satisfies the given predicate. if generateStubs is specified, return a stubsymbol if denotation is a missing ref. Throw a TypeError if predicate fails to disambiguate symbol or no alternative matches.

Definition Classes
Denotation
def requiredValue(name: PreName)(implicit ctx: Context): TermSymbol

Definition Classes
Denotation
def requiredValueRef(name: PreName)(implicit ctx: Context): TermRef

Definition Classes
Denotation
def show(implicit ctx: Context): String

The string representation of this showable element.
The string representation of this showable element.

Definition Classes
Showable
def showSummary(implicit ctx: Context): String

Definition Classes
Showable
def showSummary(depth: Int)(implicit ctx: Context): String

The summarized string representation of this showable element.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

Definition Classes
Showable
final def signature(implicit ctx: Context): Signature

The signature of the denotation.
The signature of the denotation.

Definition Classes
MultiDenotation → 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.

Definition Classes
MultiDenotation → Denotation
Exceptions thrown
TypeError if there is at more than one alternative that satisfies p.
val symbol: Symbol

The referencing symbol, or NoSymbol is none exists
The referencing symbol, or NoSymbol is none exists

Definition Classes
Denotation
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
MultiDenotation → AnyRef → Any
def toText(printer: Printer): Text

The text representation of this showable element.
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

Definition Classes
Denotation → Showable
def unsupported(methodName: String): Nothing

Throws an UnsupportedOperationException with the given method name.
Throws an UnsupportedOperationException with the given method name.

Definition Classes
DotClass
final def validFor: Period

The period during which this denotation is valid.
The period during which this denotation is valid.

Definition Classes
MultiDenotation → Denotation
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
def |(that: Denotation, pre: Type)(implicit ctx: Context): Denotation

Form a choice between this denotation and that one.
Form a choice between this denotation and that one.
pre
The prefix type of the members of the denotation, used to determine an accessible symbol if it exists.

Definition Classes
Denotation

Related Doc: package Denotations

case class MultiDenotation(denot1: Denotation, denot2: Denotation) extends Denotation with Product with Serializable

Instance Constructors

new MultiDenotation(denot1: Denotation, denot2: Denotation)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def &(that: Denotation, pre: Type, safeIntersection: Boolean = false)(implicit ctx: Context): Denotation

final def ==(arg0: Any): Boolean

def accessibleFrom(pre: Type, superAccess: Boolean)(implicit ctx: Context): Denotation

final def alternatives: List[SingleDenotation]

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

final def asInstanceOf[T0]: T0

final def asSingleDenotation: SingleDenotation

final def asSymDenotation: SymDenotation

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

def checkUnique(implicit ctx: Context): SingleDenotation

def clone(): AnyRef

def current(implicit ctx: Context): Denotation

def currentIfExists(implicit ctx: Context): Denotation

val denot1: Denotation

val denot2: Denotation

def derivedMultiDenotation(d1: Denotation, d2: Denotation): MultiDenotation

def disambiguate(p: (Symbol) ⇒ Boolean)(implicit ctx: Context): SingleDenotation

final def eq(arg0: AnyRef): Boolean

def exists: Boolean

def fallbackToText(printer: Printer): Text

def finalize(): Unit

def findMember(name: Name, pre: Type, excluded: FlagSet)(implicit ctx: Context): Denotation

final def getClass(): Class[_]

def hasAltWith(p: (SingleDenotation) ⇒ Boolean): Boolean

final def info(implicit ctx: Context): Nothing

final def infoOrCompleter: Nothing

final def isInstanceOf[T0]: Boolean

final def isOverloaded: Boolean

def isTerm: Boolean

final def isType: Boolean

def mapInfo(f: (Type) ⇒ Type)(implicit ctx: Context): Denotation

def matchingDenotation(site: Type, targetType: Type)(implicit ctx: Context): SingleDenotation

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def orElse(that: ⇒ Denotation): Denotation

def requiredClass(name: PreName)(implicit ctx: Context): ClassSymbol

def requiredMethod(name: PreName, argTypes: List[Type])(implicit ctx: Context): TermSymbol

def requiredMethod(name: PreName)(implicit ctx: Context): TermSymbol

def requiredMethodRef(name: PreName, argTypes: List[Type])(implicit ctx: Context): TermRef

def requiredMethodRef(name: PreName)(implicit ctx: Context): TermRef

def requiredSymbol(p: (Symbol) ⇒ Boolean, source: AbstractFile = null, generateStubs: Boolean = true)(implicit ctx: Context): Symbol

def requiredValue(name: PreName)(implicit ctx: Context): TermSymbol

def requiredValueRef(name: PreName)(implicit ctx: Context): TermRef

def show(implicit ctx: Context): String

def showSummary(implicit ctx: Context): String

def showSummary(depth: Int)(implicit ctx: Context): String

final def signature(implicit ctx: Context): Signature

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

val symbol: Symbol

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

def toString(): String

def toText(printer: Printer): Text

def unsupported(methodName: String): Nothing

final def validFor: Period

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def |(that: Denotation, pre: Type)(implicit ctx: Context): Denotation

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Denotation

Inherited from Showable

Inherited from DotClass

Inherited from AnyRef

Inherited from Any

Ungrouped