scala3-compiler-bootstrapped/dotty.tools.dotc.core/Denotations/MultiPreDenotation

MultiPreDenotation

trait MultiPreDenotation extends PreDenotation
class Object
trait Matchable
class Any

Type members

Inherited types

Value members

Abstract methods

Concrete methods

def aggregate[T](f: SingleDenotation => T, g: (T, T) => T): T
protected def derivedUnion(denot1: PreDenotation, denot2: PreDenotation): PreDenotation
def filterWithFlags(required: FlagSet, excluded: FlagSet)(using Context): PreDenotation
def mapInherited(owndenot: PreDenotation, prevdenot: PreDenotation, pre: Type)(using Context): PreDenotation

Inherited methods

def asSeenFrom(pre: Type)(using Context): AsSeenFromResult

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

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

Inherited from:
PreDenotation
protected def computeAsSeenFrom(pre: Type)(using Context): AsSeenFromResult
Inherited from:
PreDenotation
def containsSym(sym: Symbol): Boolean

Group contains a denotation that refers to given symbol

Group contains a denotation that refers to given symbol

Inherited from:
PreDenotation
def exists: Boolean

A denotation in the group exists

A denotation in the group exists

Inherited from:
PreDenotation
def toDenot(pre: Type)(using Context): Denotation

Convert to full denotation by &-ing all elements

Convert to full denotation by &-ing all elements

Inherited from:
PreDenotation
def union(that: PreDenotation): PreDenotation

The union of two groups.

The union of two groups.

Inherited from:
PreDenotation