From abb6c717277fb7eb8635d94c32ecab5dee4dd903 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Thu, 2 Feb 2017 13:39:36 +0100 Subject: Initial gh-pages commit --- .../tools/dotc/core/Symbols$/ClassSymbol.html | 17243 +++++++++++++++++ api/dotty/tools/dotc/core/Symbols$/Copier.html | 5758 ++++++ .../tools/dotc/core/Symbols$/ErrorSymbol.html | 5506 ++++++ api/dotty/tools/dotc/core/Symbols$/NoSymbol$.html | 5428 ++++++ api/dotty/tools/dotc/core/Symbols$/Symbol.html | 19139 +++++++++++++++++++ 5 files changed, 53074 insertions(+) create mode 100644 api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html create mode 100644 api/dotty/tools/dotc/core/Symbols$/Copier.html create mode 100644 api/dotty/tools/dotc/core/Symbols$/ErrorSymbol.html create mode 100644 api/dotty/tools/dotc/core/Symbols$/NoSymbol$.html create mode 100644 api/dotty/tools/dotc/core/Symbols$/Symbol.html (limited to 'api/dotty/tools/dotc/core/Symbols$') diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html new file mode 100644 index 000000000..f86c3b4e5 --- /dev/null +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -0,0 +1,17243 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ + + +
+
+ + + + +
+
+ + + + + class + + + ClassSymbol + +
+ + + +

Members

+ +
+ +
+
+ + + + + + + + type + + + + ThisName + + + + + + + + = + TypeName + + + + +
+ +
+ +
+
+ +
+
+ + + + + + + + val + + + + assocFile + + + + + + + + + : AbstractFile + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + coord + + + + + + + + + : Coord + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + id + + + + + + + + + : Int + +
+ +
+ +
+
+ +
+
+ + + + + + + + var + + + + nextInRun + + + + + + + + + : SingleDenotation + +
+ +
+

The next SingleDenotation in this run, with wrap-around from last to first.

+

There may be several SingleDenotations with different validity +representing... +

+ +
+
+ +
+
+ + + + + private + + + var + + + + superIdHint + + + + + + + + + : Int + +
+ +
+ +
+
+ +
+
+ + + + + + + + def + + + + & + + + + + + ( + + + + that: + + Denotation + + , + + + + pre: + + Type + + , + + + + safeIntersection: + + Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Denotation + +
+ +
+

Form a denotation by conjoining with denotation that.

+

NoDenotations are dropped. MultiDenotations are handled by merging +parts with same signatures. Sin... +

+

+

+

+

+
    +

    +

    +

    +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + accessBoundary + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The class or term symbol up to which this symbol is accessible, +or RootClass if it is public. As java protected statics are +otherwise completely inacce... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + accessedFieldOrGetter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The field accessed by this getter or setter, or if it does not exist, the getter

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + addAnnotation + + + + + + ( + + + + annot: + + Annotation + + + ) + + + + + + + : Unit + +
    + +
    +

    Add given annotation to the annotations of this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + addAnnotations + + + + + + ( + + + + annots: + + TraversableOnce +[ +Annotation +] + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Add all given annotations to this symbol

    + +
    +
    + +
    +
    + + + + + + + + def + + + + allOverriddenSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Iterator + +
    + +
    +

    All symbols overriden by this denotation.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + alternatives + + + + + + + + + : List + +
    + +
    +

    The set of alternative single-denotations making up this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + altsWith + + + + + + ( + + + + p: + + Symbol => Boolean + + + ) + + + + + + + : List + +
    + +
    +

    The alternatives of this denotation that satisfy the predicate p.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + annotations + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
    + +
    +

    The annotations of this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + annotations_= + + + + + + ( + + + + annots: + + List +[ +Annotation +] + + + ) + + + + + + + : Unit + +
    + +
    +

    Update the annotations of this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + asClass + + + + + + + + + : ClassDenotation + +
    + +
    +

    Cast to class denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + asSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AsSeenFromResult + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + asSingleDenotation + + + + + + + + + : SingleDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + asSymDenotation + + + + + + + + + : SymDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + assertNoSkolems + + + + + + ( + + + + tp: + + Type + + + ) + + + + + + + : Unit + +
    + +
    + +
    +
    + +
    +
    + + + + + override + + + def + + + + associatedFile + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AbstractFile + +
    + +
    +

    The source or class file from which this class was generated, null if not applicable.

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

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + baseClasses + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
    + +
    +

    The base classes of this class in linearization order, +with the class itself as first element.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + baseTypeRefOf + + + + + + ( + + + + tp: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
    + +
    +

    Compute tp.baseTypeRef(this)

    + +
    +
    + +
    +
    + + + + + + + + def + + + + canMatchInheritedSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    If false, this symbol cannot possibly participate in an override, +either as overrider or overridee.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + checkUnique + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + final + + + def + + + + classDenot + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : ClassDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + classInfo + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : ClassInfo + +
    + +
    +

    The info asserted to have type ClassInfo

    + +
    +
    + +
    +
    + + + + + + + + def + + + + classParents + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
    + +
    +

    The denotations of all parents in this class.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + classSymbol + + + + + + + + + : ClassSymbol + +
    + +
    +

    The symbol asserted to have type ClassSymbol

    + +
    +
    + +
    +
    + + + + + + + + def + + + + clone + + + + + + ( + + + ) + + + + + + + : Object + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + companionClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The class with the same (type-) name as this module or module class, +and which is also defined in the same scope and compilation unit. +NoSymbol if this...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + companionModule + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The module object with the same (term-) name as this class or module class, +and which is also defined in the same scope and compilation unit. +NoSymbol i...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + completer + + + + + + + + + : LazyType + +
    + +
    +

    The completer of this denotation. @pre: Denotation is not yet completed

    + +
    +
    + +
    +
    + + + + + + + + def + + + + computeAsSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + computeNPMembersNamed + + + + + + ( + + + + name: + + Name + + , + + + + inherited: + + Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : PreDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + containsSym + + + + + + ( + + + + sym: + + Symbol + + + ) + + + + + + + : Boolean + +
    + +
    +

    Group contains a denotation that refers to given symbol

    + +
    +
    + +
    +
    + + + + + + + + def + + + + copySymDenotation + + + + + + ( + + + + symbol: + + Symbol + + , + + + + owner: + + Symbol + + , + + + + name: + + Name + + , + + + + initFlags: + + FlagSet + + , + + + + info: + + Type + + , + + + + privateWithin: + + Symbol + + , + + + + annotations: + + List +[ +Annotation +] + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SymDenotation + +
    + +
    +

    Copy this denotation, overriding selective fields

    + +
    +
    + +
    +
    + + + + + + + + def + + + + coveredInterval + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Period + +
    + +
    +

    The period (interval of phases) for which there exists +a valid denotation in this flock.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + current + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

    Produce a denotation that is valid for the given context. +Usually called when !(validFor contains ctx.period) +(even though this is not a precondition). +I... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + currentPackageDecls + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : MutableScope + +
    + +
    +

    If this is a package class, the symbols entered in it +before it is completed. (this is needed to eagerly enter synthetic +aliases such as AnyRef into a p... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + debugString + + + + + + + + + : String + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + definedPeriodsString + + + + + + + + + : String + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + delete + + + + + + ( + + + + sym: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Delete symbol from current scope. +Note: We require that this does not happen after the first time +someone does a findMember on a subclass.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + derivedSingleDenotation + + + + + + ( + + + + symbol: + + Symbol + + , + + + + info: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + derivesFrom + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a subclass of base, +and is the denoting symbol also different from Null or Nothing?

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

    If this denotation is overloaded, filter with given predicate. +If result is still overloaded throw a TypeError. +Note: disambiguate is slightly different... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + effectiveName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
    + +
    +

    The name, except +- if this is a module class, strip the module class suffix +- if this is a companion object with a clash-avoiding name, strip the +"avoid...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + effectiveOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The owner, skipping package objects, labels and non-lazy valdefs.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enclosingClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The class containing this denotation. +If this denotation is already a class, return itself +Definitions flagged with InSuperCall are treated specially. +Th... +

    +

    +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enclosingClassNamed + + + + + + ( + + + + name: + + Name + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The class containing this denotation which has the given effective name.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enclosingMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The closest enclosing method containing this definition. +A local dummy owner is mapped to the primary constructor of the class.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enclosingPackageClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The package class containing this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enclosingSubClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The class that encloses the owner of the current context +and that is a subclass of this class. NoSymbol if no such class exists.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + ensureCompleted + + + + + + ( + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Make sure this denotation is completed

    + +
    +
    + +
    +
    + + + + + + + + def + + + + ensureFreshScopeAfter + + + + + + ( + + + + phase: + + DenotTransformer + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    If this class has the same decls scope reference in phase and +phase.next, install a new denotation with a cloned scope in phase.next.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + ensureNotPrivate + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SymDenotation + +
    + +
    +

    If denotation is private, remove the Private flag and expand the name if necessary

    + +
    +
    + +
    +
    + + + + + + + + def + + + + ensureTypeParamsInCorrectOrder + + + + + + ( + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Make sure the type parameters of this class appear in the order given +by typeParams in the scope of the class. Reorder definitions in scope if necessar...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enter + + + + + + ( + + + + sym: + + Symbol + + , + + + + scope: + + Scope + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Enter a symbol in current scope, and future scopes of same denotation. +Note: We require that this does not happen after the first time +someone does a fi...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + enterNoReplace + + + + + + ( + + + + sym: + + Symbol + + , + + + + scope: + + MutableScope + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Enter a symbol in given scope without potentially replacing the old copy.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + eq + + + + + + ( + + + + x$0: + + Object + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + exists + + + + + + + + + : Boolean + +
    + +
    +

    Is this denotation different from NoDenotation or an ErrorDenotation?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + expandedName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
    + +
    +

    The expanded name of this denotation.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + extendedOverriddenSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Iterator + +
    + +
    +

    Returns all matching symbols defined in parents of the selftype.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + fallbackToText + + + + + + ( + + + + printer: + + Printer + + + ) + + + + + + + : Text + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + filterAnnotations + + + + + + ( + + + + p: + + Annotation => Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Keep only those annotations that satisfy p

    + +
    +
    + +
    +
    + + + + + + + + def + + + + filterDisjoint + + + + + + ( + + + + denots: + + PreDenotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

    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 + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + filterWithPredicate + + + + + + ( + + + + p: + + SingleDenotation => Boolean + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + finalize + + + + + + ( + + + ) + + + + + + + : Unit + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + 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. Exclude all... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + first + + + + + + + + + : Denotation + +
    + +
    +

    First/last denotation in the group

    + +
    +
    + +
    +
    + + + + + + + + def + + + + flags + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : FlagSet + +
    + +
    +

    The flag set

    + +
    +
    + +
    +
    + + + + + + + + def + + + + flagsUNSAFE + + + + + + + + + : FlagSet + +
    + +
    +

    The flag set without forcing symbol completion. +Should be used only for printing.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + flags_= + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
    + +
    +

    Update the flag set

    + +
    +
    + +
    +
    + + + + + + + + def + + + + flatName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
    + +
    +

    The encoded flat name of this denotation, where joined names are separated by separator characters.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + fullName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
    + +
    +

    fullName where `.' is the separator character

    + +
    +
    + +
    +
    + + + + + + + + def + + + + fullNameSeparated + + + + + + ( + + + + separator: + + String + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
    + +
    +

    The encoded full path name of this denotation, where outer names and inner names +are separated by separator strings. +Never translates expansions of oper... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + getAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
    + +
    +

    Optionally, the annotation matching the given class symbol

    + +
    +
    + +
    +
    + + + + + + + + def + + + + hasAltWith + + + + + + ( + + + + p: + + SingleDenotation => Boolean + + + ) + + + + + + + : Boolean + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + hasAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Does this denotation have an annotation matching the given class symbol?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + hasDefaultParams + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Does this symbol have defined or inherited default parameters?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + hasSkolems + + + + + + ( + + + + tp: + + Type + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + hasUniqueSym + + + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + history + + + + + + + + + : List + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + info + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
    + +
    +

    The type info. +The info is an instance of TypeType iff this is a type denotation +Uncompleted denotations set myInfo to a LazyType.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + infoOrCompleter + + + + + + + + + : Type + +
    + +
    +

    The type info, or, if symbol is not yet completed, the completer

    + +
    +
    + +
    +
    + + + + + + + + def + + + + info_= + + + + + + ( + + + + tp: + + Type + + + ) + + + + + + + : Unit + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + initial + + + + + + + + + : SymDenotation + +
    + +
    +

    The version of this SingleDenotation that was valid in the first phase +of this run.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + installAfter + + + + + + ( + + + + phase: + + DenotTransformer + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Install this denotation as the result of the given denotation transformer.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + invalidateInheritedInfo + + + + + + ( + + + ) + + + + + + + : Unit + +
    + +
    +

    Invalidate all caches and fields that depend on base classes and their contents

    + +
    +
    + +
    +
    + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagConjunction + + , + + + + butNot: + + FlagSet + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagConjunction + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Has this denotation all of the flags in fs set?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagSet + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Has this denotation one of the flags in fs set?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagSet + + , + + + + butNot: + + FlagSet + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Has this denotation one of the flags in fs set, whereas none of the flags +in butNot are set?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAbsent + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is symbol known to not exist?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAbstractOrAliasType + + + + + + + + + : Boolean + +
    + +
    +

    Is this symbol an abstract or alias type?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAbstractType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol an abstract type?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAccessibleFrom + + + + + + ( + + + + pre: + + Type + + , + + + + superAccess: + + Boolean + + , + + + + whyNot: + + StringBuffer + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this definition accessible as a member of tree with type pre?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAliasType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol an alias type?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAnonymousClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol an anonymous class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAnonymousFunction + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAnonymousModuleVal + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + isAsConcrete + + + + + + ( + + + + that: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol concrete, or that symbol deferred?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isClass + + + + + + + + + : Boolean + +
    + +
    +

    Is this denotation a class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isClassConstructor + + + + + + + + + : Boolean + +
    + +
    +

    is this the constructor of a class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isCoDefinedWith + + + + + + ( + + + + that: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this denotation defined in the same scope and compilation unit as that symbol?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isCompanionMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a companion class method or companion object method? +These methods are generated by Symbols#synthesizeCompanionMethod +and used in SymDenotations... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isCompleted + + + + + + + + + : Boolean + +
    + +
    +

    The denotation is completed: info is not a lazy type and attributes have defined values

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isCompleting + + + + + + + + + : Boolean + +
    + +
    +

    The denotation is in train of being completed

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isConstructor + + + + + + + + + : Boolean + +
    + +
    +

    Is this the constructor of a trait or a class

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isContainedIn + + + + + + ( + + + + boundary: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this definition contained in boundary? +Same as ownersIterator contains boundary but more efficient.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isEffectiveRoot + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol the empty package class or its companion object?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isEffectivelyFinal + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    A symbol is effectively final if it cannot be overridden in a subclass

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isEmptyPackage + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol the empty package class or its companion object?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isError + + + + + + + + + : Boolean + +
    + +
    +

    is this symbol the result of an erroneous definition?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isGetter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a getter?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isImplClassConstructor + + + + + + + + + : Boolean + +
    + +
    +

    Is this the constructor of a trait?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isImport + + + + + + + + + : Boolean + +
    + +
    +

    is this a symbol representing an import?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isIncompleteIn + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    A member of class base is incomplete if +(1) it is declared deferred or +(2) it is abstract override and its super symbol in base is +nonexistent or incompl...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isInlineMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + isLocalDummy + + + + + + + + + : Boolean + +
    + +
    +

    Is this a local template dummmy?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isNullableClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol a class references to which that are supertypes of null?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isNumericValueClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is symbol a primitive numeric value class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isOverloaded + + + + + + + + + : Boolean + +
    + +
    +

    Is this denotation overloaded?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isPackageObject + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol a package object or its module class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isPhantomClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is symbol a phantom class for which no runtime representation exists?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isPrimaryConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Does this symbol denote the primary constructor of its enclosing class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isPrimitiveValueClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is symbol a primitive value class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isProperlyContainedIn + + + + + + ( + + + + boundary: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + isRealClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this denotation a non-trait class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isRealMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a "real" method? A real method is a method which is: +- not an accessor +- not a label +- not an anonymous function +- not a companion method

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isRefinementClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol a class representing a refinement? These classes +are used only temporarily in Typer and Unpickler as an intermediate +step for creating Re...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isRoot + + + + + + + + + : Boolean + +
    + +
    +

    Is this symbol the root class or its companion object?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isSelfSym + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this the denotation of a self symbol of some class? +This is the case if one of two conditions holds: +1. It is the symbol referred to in the selfInfo... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isSetter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a setter?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isSkolem + + + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + isStable + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a denotation of a stable term (or an arbitrary type)?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isStatic + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this denotation static (i.e. with no outer instance)?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isStaticConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Does this symbol denote the static constructor of its enclosing class?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isStaticOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a package class or module class that defines static symbols?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isSubClass + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a subclass of the given class base?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isTerm + + + + + + + + + : Boolean + +
    + +
    +

    Is this a reference to a term symbol?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isType + + + + + + + + + : Boolean + +
    + +
    +

    Is this denotation a type?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isValueClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this symbol a class that extends AnyVal?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isValueClassConvertMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Is this a syntetic method that represents conversions between representations of a value class +These methods are generated in ExtensionMethods +and used...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + isWeakOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Symbol is an owner that would be skipped by effectiveOwner. Skipped are +- package objects +- labels +- non-lazy valdefs

    + +
    +
    + +
    +
    + + + + + + + + def + + + + last + + + + + + + + + : Denotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + lexicallyEnclosingClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    A class that in source code would be lexically enclosing

    + +
    +
    + +
    +
    + + + + + + + + def + + + + linkedClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    If this is a class, the module class of its companion object. +If this is a module class, its companion class. +NoSymbol otherwise.

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

    A denotation with the info of this denotation transformed using f

    + +
    +
    + +
    +
    + + + + + + + + def + + + + mapInherited + + + + + + ( + + + + ownDenots: + + PreDenotation + + , + + + + prevDenots: + + PreDenotation + + , + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + markAbsent + + + + + + ( + + + ) + + + + + + + : Unit + +
    + +
    +

    Make denotation not exist

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

    Group contains a denotation with given signature

    + +
    +
    + +
    +
    + + + + + + + + def + + + + matchingDecl + + + + + + ( + + + + inClass: + + Symbol + + , + + + + site: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The non-private symbol whose name and type matches the type of this symbol +in the given class.

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + matchingMember + + + + + + ( + + + + site: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The non-private member of site whose name and type matches the type of this symbol

    + +
    +
    + +
    +
    + + + + + + + + def + + + + maybeOwner + + + + + + + + + : Symbol + +
    + +
    +

    Same as owner, except returns NoSymbol for NoSymbol

    + +
    +
    + +
    +
    + + + + + + + + def + + + + memberCanMatchInheritedSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    If false, this class member cannot possibly participate in an override, +either as overrider or overridee.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + memberFingerPrint + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : FingerPrint + +
    + +
    +

    A bloom filter for the names of all members in this class. +Makes sense only for parent classes, and should definitely +not be used for package classes be... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + memberNames + + + + + + ( + + + + keepOnly: + + NameFilter + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Set + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + membersNamed + + + + + + ( + + + + name: + + Name + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : PreDenotation + +
    + +
    +

    All members of this class that have the given name. +The elements of the returned pre-denotation all +have existing symbols.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + membersNeedAsSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
    + +
    +

    Do members of this symbol need translation via asSeenFrom when +accessed via prefix pre?

    + +
    +
    + +
    +
    + + + + + + + + def + + + + mergeNames + + + + + + ( + + + + names1: + + List +[ +N +] + + , + + + + names2: + + List +[ +N +] + + , + + + + syntheticName: + + Int => N + + + ) + + + + + + + : [N <: dotty.tools.dotc.core.Names.Name] => + (names1: scala.collection.immutable.List[N], names2: + scala.collection.immutable.List[N] + , syntheticName: Int => N)scala.collection.immutable.List[N] (not handled) + +
    + +
    +

    Merge two lists of names. If names in corresponding positions match, keep them, +otherwise generate new synthetic names.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + moduleClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The class implementing this module, NoSymbol if not applicable.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + namedType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : NamedType + +
    + +
    +

    The NamedType representing this denotation at its original location. +Same as either typeRef or termRefWithSig depending whether this denotes a type or...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + namedTypeParams + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Set + +
    + +
    +

    The named type parameters declared or inherited by this class

    + +
    +
    + +
    +
    + + + + + + + + def + + + + ne + + + + + + ( + + + + x$0: + + Object + + + ) + + + + + + + : Boolean + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + newLikeThis + + + + + + ( + + + + s: + + Symbol + + , + + + + i: + + Type + + + ) + + + + + + + : SingleDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + nextInRun_= + + + + + + ( + + + + x$1: + + SingleDenotation + + + ) + + + + + + + : Unit + +
    + +
    +

    The next SingleDenotation in this run, with wrap-around from last to first.

    +

    There may be several SingleDenotations with different validity +representing... +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + nonMemberTermRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + nonPrivateMembersNamed + + + + + + ( + + + + name: + + Name + + , + + + + inherited: + + Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : PreDenotation + +
    + +
    +

    All non-private members of this class that have the given name. +The elements of the returned pre-denotation all +have existing symbols.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + notify + + + + + + ( + + + ) + + + + + + + : Unit + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + notifyAll + + + + + + ( + + + ) + + + + + + + : Unit + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + orElse + + + + + + ( + + + + that: => + + SingleDenotation + + + ) + + + + + + + : SingleDenotation + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + orElse + + + + + + ( + + + + that: => + + Denotation + + + ) + + + + + + + : Denotation + +
    + +
    +

    If this denotation does not exist, fallback to alternative

    + +
    +
    + +
    +
    + + + + + + + + def + + + + originalName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
    + +
    +

    The name with which the denoting symbol was created

    + +
    +
    + +
    +
    + + + + + + + + def + + + + overriddenSymbol + + + + + + ( + + + + inClass: + + ClassSymbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The symbol, in class inClass, that is overridden by this denotation.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + overridingSymbol + + + + + + ( + + + + inClass: + + ClassSymbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The symbol overriding this symbol in given subclass ofclazz.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + owner + + + + + + + + + : Symbol + +
    + +
    +

    The owner of the symbol; overridden in NoDenotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + ownersIterator + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Iterator + +
    + +
    +

    The chain of owners of this denotation, starting with the denoting symbol itself

    + +
    +
    + +
    +
    + + + + + + + + def + + + + paramAccessors + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
    + +
    +

    The parameter accessors of this class. Term and type accessors, +getters and setters are all returned int his list

    + +
    +
    + +
    +
    + + + + + protected override + + + def + + + + prefixString + + + + + + + + + : String + +
    + +
    +

    The prefix string to be used when displaying this symbol without denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + primaryConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The primary constructor of a class or trait, NoSymbol if not applicable.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + privateWithin + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The privateWithin boundary, NoSymbol if no boundary is given.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + privateWithin_= + + + + + + ( + + + + sym: + + Symbol + + + ) + + + + + + + : Unit + +
    + +
    +

    Set privateWithin.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + removeAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Remove annotation with given class from this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + replace + + + + + + ( + + + + prev: + + Symbol + + , + + + + replacement: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Replace symbol prev (if defined in current class) by symbol replacement. +If prev is not defined in current class, do nothing.

    + +
    +
    + +
    +
    + + + + + + + + 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 + + , + + + + generateStubs: + + Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    Return symbol in this denotation that satisfies the given predicate. +if generateStubs is specified, return a stubsymbol if denotation is a missing ref. +

    + +
    +
    + +
    +
    + + + + + + + + def + + + + requiredValue + + + + + + ( + + + + name: + + PreName + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermSymbol + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + requiredValueRef + + + + + + ( + + + + name: + + PreName + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + resetFlag + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
    + +
    +

    Unset given flags(s) of this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + scalacLinkedClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + setApplicableFlags + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
    + +
    +

    Set applicable flags from flags which is a subset of {NoInits, PureInterface}

    + +
    +
    + +
    +
    + + + + + + + + def + + + + setFlag + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
    + +
    +

    Set given flags(s) of this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + show + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
    + +
    +

    The string representation of this showable element.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + showDcl + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
    + +
    +

    Show declaration string; useful for showing declarations +as seen from subclasses.

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

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + signature + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Signature + +
    + +
    +

    The signature of the denotation.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + skipWeakOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    If this is a weak owner, its owner, otherwise the denoting symbol.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + sourceModule + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The module implemented by this module class, NoSymbol if not applicable.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + staleSymbolError + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Nothing + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + 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.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + superClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The symbol of the superclass, NoSymbol if no superclass exists

    + +
    +
    + +
    +
    + + + + + override + + + def + + + + superId + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Int + +
    + +
    +

    A unique, densely packed integer tag for each class symbol, -1 +for all other symbols. To save memory, this method +should be called only if class is a su...

    + +
    +
    + +
    +
    + + + + + private + + + def + + + + superIdHint_= + + + + + + ( + + + + x$1: + + Int + + + ) + + + + + + + : Unit + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + superSymbolIn + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The symbol accessed by a super in the definition of this symbol when +seen from class base. This symbol is always concrete. +pre: this.owner is in the bas...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + syncWithParents + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
    + +
    +

    invalidate caches influenced by parent classes if one of the parents +is younger than the denotation itself.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + synchronized + + + + + + ( + + + + x$0: + + X0 + + + ) + + + + + + + : [X0] => (x$0: X0)X0 (not handled) + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + termRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
    + +
    +

    The TermRef representing this term denotation at its original location.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + termRefWithSig + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
    + +
    +

    The TermRef representing this term denotation at its original location +at the denotation's signature.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + thisType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
    + +
    +

    The this-type depends on the kind of class: +- for a package class p: ThisType(TypeRef(Noprefix, p)) +- for a module class m: A term ref to m's source mo... +

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

    Convert to full denotation by &-ing all elements

    + +
    +
    + +
    +
    + + + + + + + + def + + + + toString + + + + + + + + + : String + +
    + +
    + +
    +
    + +
    +
    + + + + + + + + def + + + + toText + + + + + + ( + + + + printer: + + Printer + + + ) + + + + + + + : Text + +
    + +
    +

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

    + +
    +
    + +
    +
    + + + + + + + + def + + + + topLevelClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The top-level class containing this denotation, +except for a toplevel module, where its module class is returned.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + transformAfter + + + + + + ( + + + + phase: + + DenotTransformer + + , + + + + f: + + SymDenotation => SymDenotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Apply a transformation f to all denotations in this group that start at or after +given phase. Denotations are replaced while keeping the same validity...

    + +
    +
    + +
    +
    + + + + + + + + def + + + + transformAnnotations + + + + + + ( + + + + f: + + Annotation => Annotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
    + +
    +

    Apply transform f to all annotations of this denotation

    + +
    +
    + +
    +
    + + + + + + + + def + + + + typeParamCreationFlags + + + + + + + + + : FlagSet + +
    + +
    +

    The flags to be used for a type parameter owned by this symbol. +Overridden by ClassDenotation.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + typeParams + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
    + +
    +

    The type parameters of this class

    + +
    +
    + +
    +
    + + + + + + + + def + + + + typeRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TypeRef + +
    + +
    +

    The TypeRef representing this type denotation at its original location.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + underlyingSymbol + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
    + +
    +

    The field accessed by a getter or setter, or +if it does not exists, the getter of a setter, or +if that does not exist the symbol itself.

    + +
    +
    + +
    +
    + + + + + + + + def + + + + unforcedAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
    + +
    +

    The same as getAnnotation, but without ensuring +that the symbol carrying the annotation is completed

    + +
    +
    + +
    +
    + + + + + + + + def + + + + unforcedDecls + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Scope + +
    + +
    +

    The symbols defined in this class or object. +Careful! This does not force the type, so is compilation order dependent. +This method should be used only i...

    +
      + +
      +
      + +
      +
      + + + + + + + + def + + + + unforcedInfo + + + + + + + + + : Option + +
      + +
      +

      Optionally, the info if it is completed

      + +
      +
      + +
      +
      + + + + + + + + def + + + + union + + + + + + ( + + + + that: + + PreDenotation + + + ) + + + + + + + : PreDenotation + +
      + +
      +

      The union of two groups.

      + +
      +
      + +
      +
      + + + + + + + + def + + + + unsupported + + + + + + ( + + + + methodName: + + String + + + ) + + + + + + + : Nothing + +
      + +
      +

      Throws an UnsupportedOperationException with the given method name.

      + +
      +
      + +
      +
      + + + + + + + + def + + + + updateAnnotation + + + + + + ( + + + + annot: + + Annotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
      + +
      +

      Remove any annotations with same class as annot, and add annot

      + +
      +
      + +
      +
      + + + + + + + + def + + + + valRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
      + +
      +

      The TermRef representing this term denotation at its original location +and at signature NotAMethod.

      + +
      +
      + +
      +
      + + + + + + + + def + + + + validFor + + + + + + + + + : Period + +
      + +
      +

      The period during which this denotation is valid.

      + +
      +
      + +
      +
      + + + + + + + + def + + + + validFor_= + + + + + + ( + + + + p: + + Period + + + ) + + + + + + + : Unit + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + def + + + + variance + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Int + +
      + +
      +

      The variance of this type parameter or type member as an Int, with ++1 = Covariant, -1 = Contravariant, 0 = Nonvariant, or not a type parameter

      + +
      +
      + +
      +
      + + + + + + + + def + + + + wait + + + + + + ( + + + + x$0: + + Long + + , + + + + x$1: + + Int + + + ) + + + + + + + : Unit + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + def + + + + wait + + + + + + ( + + + + x$0: + + Long + + + ) + + + + + + + : Unit + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + def + + + + wait + + + + + + ( + + + ) + + + + + + + : Unit + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + def + + + + | + + + + + + ( + + + + that: + + Denotation + + , + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Denotation + +
      + +
      +

      Form a choice between this denotation and that one.

      + +
      +
      + +
      +
      +
      +
      + + + + + + + + + + + + diff --git a/api/dotty/tools/dotc/core/Symbols$/Copier.html b/api/dotty/tools/dotc/core/Symbols$/Copier.html new file mode 100644 index 000000000..600f84c61 --- /dev/null +++ b/api/dotty/tools/dotc/core/Symbols$/Copier.html @@ -0,0 +1,5758 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +
      +
      + + + +
      +
      + + + + +
      +
      + + + + + class + + + Copier + +
      + + + +

      Members

      + +
      + +
      +
      + + + + + private implicit + + + val + + + + ctx + + + + + + + + + : Context + +
      + +
      + +
      +
      + +
      +
      + + + + + private + + + val + + + + sym + + + + + + + + + : Symbol + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy + + + + + + ( + + + + owner: + + Symbol + + , + + + + name: + + N + + , + + + + flags: + + FlagSet + + , + + + + info: + + Type + + , + + + + privateWithin: + + Symbol + + , + + + + coord: + + Coord + + , + + + + associatedFile: + + AbstractFile + + + ) + + + + + + + : Symbol + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$1 + + + + + + + + + : Symbol + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$2 + + + + + + + + + : N + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$3 + + + + + + + + + : FlagSet + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$4 + + + + + + + + + : Type + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$5 + + + + + + + + + : Symbol + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$6 + + + + + + + + + : Coord + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      + + + + + + + + def + + + + copy$default$7 + + + + + + + + + : AbstractFile + +
      + +
      +

      Copy a symbol, overriding selective fields

      + +
      +
      + +
      +
      +
      +
      + + + + + + + + + + + + diff --git a/api/dotty/tools/dotc/core/Symbols$/ErrorSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ErrorSymbol.html new file mode 100644 index 000000000..e684f154d --- /dev/null +++ b/api/dotty/tools/dotc/core/Symbols$/ErrorSymbol.html @@ -0,0 +1,5506 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +
      +
      + + + +
      +
      + + + + +
      +
      + + + + + class + + + ErrorSymbol + +
      + + + +

      Members

      + +
      + +
      +
      + + + + + + + + type + + + + ThisName + + + + + + + + = + ThisName + + + + +
      + +
      + +
      +
      + +
      +
      + + + + + private implicit + + + val + + + + ctx + + + + + + + + + : Context + +
      + +
      + +
      +
      + +
      +
      + + + + + private + + + val + + + + msg + + + + + + + + + : String + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + val + + + + underlying + + + + + + + + + : Symbol + +
      + +
      + +
      +
      + +
      +
      +
      +
      + + + + + + + + + + + + diff --git a/api/dotty/tools/dotc/core/Symbols$/NoSymbol$.html b/api/dotty/tools/dotc/core/Symbols$/NoSymbol$.html new file mode 100644 index 000000000..da44d5826 --- /dev/null +++ b/api/dotty/tools/dotc/core/Symbols$/NoSymbol$.html @@ -0,0 +1,5428 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +
      +
      + + + +
      +
      + + + + +
      +
      + + final + + + object + + + NoSymbol + +
      + + + +

      Members

      + +
      + +
      +
      + + + + + override + + + def + + + + associatedFile + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AbstractFile + +
      + +
      +

      The source or class file from which this class or +the class containing this symbol was generated, null if not applicable. +Overridden in ClassSymbol

      + +
      +
      + +
      +
      +
      +
      + + + + + + + + + + + + diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html new file mode 100644 index 000000000..a65464972 --- /dev/null +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -0,0 +1,19139 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +
      +
      + + + +
      +
      + + + + +
      +
      + + + + + class + + + Symbol + +
      + + +
      +

      A Symbol represents a Scala definition/declaration or a package.

      + +
      + + +

      Members

      + +
      + +
      +
      + + + + + + + + type + + + + ThisName + + + + + + + + = + Nothing <: Name + + + + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + val + + + + coord + + + + + + + + + : Coord + +
      + +
      + +
      +
      + +
      +
      + + + + + + + + val + + + + id + + + + + + + + + : Int + +
      + +
      + +
      +
      + +
      +
      + + + + + private + + + var + + + + lastDenot + + + + + + + + + : SymDenotation + +
      + +
      +

      The last denotation of this symbol

      + +
      +
      + +
      +
      + + + + + + + + var + + + + nextInRun + + + + + + + + + : SingleDenotation + +
      + +
      +

      The next SingleDenotation in this run, with wrap-around from last to first.

      +

      There may be several SingleDenotations with different validity +representing... +

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

      Form a denotation by conjoining with denotation that.

      +

      NoDenotations are dropped. MultiDenotations are handled by merging +parts with same signatures. Sin... +

      +

      +

      +

      +

      +
        +

        +

        +

        +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + accessBoundary + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The class or term symbol up to which this symbol is accessible, +or RootClass if it is public. As java protected statics are +otherwise completely inacce... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + accessedFieldOrGetter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The field accessed by this getter or setter, or if it does not exist, the getter

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + accessorNamed + + + + + + ( + + + + name: + + TermName + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + addAnnotation + + + + + + ( + + + + annot: + + Annotation + + + ) + + + + + + + : Unit + +
        + +
        +

        Add given annotation to the annotations of this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + addAnnotations + + + + + + ( + + + + annots: + + TraversableOnce +[ +Annotation +] + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Add all given annotations to this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + allOverriddenSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Iterator + +
        + +
        +

        All symbols overriden by this denotation.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + alternatives + + + + + + + + + : List + +
        + +
        +

        The set of alternative single-denotations making up this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + altsWith + + + + + + ( + + + + p: + + Symbol => Boolean + + + ) + + + + + + + : List + +
        + +
        +

        The alternatives of this denotation that satisfy the predicate p.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + annotations + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        +

        The annotations of this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + annotationsCarrying + + + + + + ( + + + + meta: + + ClassSymbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + annotations_= + + + + + + ( + + + + annots: + + List +[ +Annotation +] + + + ) + + + + + + + : Unit + +
        + +
        +

        Update the annotations of this denotation

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + asClass + + + + + + + + + : ClassSymbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + asClass + + + + + + + + + : ClassDenotation + +
        + +
        +

        Cast to class denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + asSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AsSeenFromResult + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + asSingleDenotation + + + + + + + + + : SingleDenotation + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + asSymDenotation + + + + + + + + + : SymDenotation + +
        + +
        + +
        +
        + +
        +
        + + + + + final + + + def + + + + asTerm + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermSymbol + +
        + +
        + +
        +
        + +
        +
        + + + + + final + + + def + + + + asType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TypeSymbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + assertNoSkolems + + + + + + ( + + + + tp: + + Type + + + ) + + + + + + + : Unit + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + associatedFile + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AbstractFile + +
        + +
        +

        The source or class file from which this class or +the class containing this symbol was generated, null if not applicable. +Overridden in ClassSymbol

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

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

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + binaryFile + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AbstractFile + +
        + +
        +

        The class file from which this class was generated, null if not applicable.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + canMatchInheritedSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        If false, this symbol cannot possibly participate in an override, +either as overrider or overridee.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + caseAccessors + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + checkUnique + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + clone + + + + + + ( + + + ) + + + + + + + : Object + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + companionClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The class with the same (type-) name as this module or module class, +and which is also defined in the same scope and compilation unit. +NoSymbol if this...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + companionModule + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The module object with the same (term-) name as this class or module class, +and which is also defined in the same scope and compilation unit. +NoSymbol i...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + completer + + + + + + + + + : LazyType + +
        + +
        +

        The completer of this denotation. @pre: Denotation is not yet completed

        + +
        +
        + +
        +
        + + + + + + + + def + + + + computeAsSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + containsSym + + + + + + ( + + + + sym: + + Symbol + + + ) + + + + + + + : Boolean + +
        + +
        +

        Group contains a denotation that refers to given symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + copy + + + + + + ( + + + + owner: + + Symbol + + , + + + + name: + + N + + , + + + + flags: + + FlagSet + + , + + + + info: + + Type + + , + + + + privateWithin: + + Symbol + + , + + + + coord: + + Coord + + , + + + + associatedFile: + + AbstractFile + + + ) + + + + + + + : Symbol + +
        + +
        +

        Copy a symbol, overriding selective fields

        + +
        +
        + +
        +
        + + + + + + + + def + + + + copySymDenotation + + + + + + ( + + + + symbol: + + Symbol + + , + + + + owner: + + Symbol + + , + + + + name: + + Name + + , + + + + initFlags: + + FlagSet + + , + + + + info: + + Type + + , + + + + privateWithin: + + Symbol + + , + + + + annotations: + + List +[ +Annotation +] + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SymDenotation + +
        + +
        +

        Copy this denotation, overriding selective fields

        + +
        +
        + +
        +
        + + + + + + + + def + + + + coveredInterval + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Period + +
        + +
        +

        The period (interval of phases) for which there exists +a valid denotation in this flock.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + current + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

        Produce a denotation that is valid for the given context. +Usually called when !(validFor contains ctx.period) +(even though this is not a precondition). +I... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + currentPackageDecls + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : MutableScope + +
        + +
        +

        If this is a package class, the symbols entered in it +before it is completed. (this is needed to eagerly enter synthetic +aliases such as AnyRef into a p... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + debugString + + + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + defRunId + + + + + + + + + : RunId + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + definedPeriodsString + + + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + final + + + def + + + + denot + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SymDenotation + +
        + +
        +

        The current denotation of this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + denot_= + + + + + + ( + + + + d: + + SymDenotation + + + ) + + + + + + + : Unit + +
        + +
        +

        Set the denotation of this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + deprecationMessage + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + derivedSingleDenotation + + + + + + ( + + + + symbol: + + Symbol + + , + + + + info: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + derivesFrom + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a subclass of base, +and is the denoting symbol also different from Null or Nothing?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + directlyInheritedTraits + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        +

        All traits implemented by a class or trait except for those inherited through the superclass.

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

        If this denotation is overloaded, filter with given predicate. +If result is still overloaded throw a TypeError. +Note: disambiguate is slightly different... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + effectiveName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
        + +
        +

        The name, except +- if this is a module class, strip the module class suffix +- if this is a companion object with a clash-avoiding name, strip the +"avoid...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + effectiveOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The owner, skipping package objects, labels and non-lazy valdefs.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosingClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The class containing this denotation. +If this denotation is already a class, return itself +Definitions flagged with InSuperCall are treated specially. +Th... +

        +

        +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosingClassNamed + + + + + + ( + + + + name: + + Name + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The class containing this denotation which has the given effective name.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosingMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The closest enclosing method containing this definition. +A local dummy owner is mapped to the primary constructor of the class.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosingMethodOrClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The closest enclosing method or class of this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosingPackageClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The package class containing this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosingSubClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The class that encloses the owner of the current context +and that is a subclass of this class. NoSymbol if no such class exists.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enclosure + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The closest properly enclosing method or class of this symbol.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + ensureCompleted + + + + + + ( + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Make sure this denotation is completed

        + +
        +
        + +
        +
        + + + + + + + + def + + + + ensureNotPrivate + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SymDenotation + +
        + +
        +

        If denotation is private, remove the Private flag and expand the name if necessary

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + entered + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        This symbol entered into owner's scope (owner must be a class).

        + +
        +
        + +
        +
        + + + + + + + + def + + + + enteredAfter + + + + + + ( + + + + phase: + + DenotTransformer + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        Enter this symbol in its class owner after given phase. Create a fresh +denotation for its owner class if the class has not yet already one +that starts b...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + eq + + + + + + ( + + + + x$0: + + Object + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + exists + + + + + + + + + : Boolean + +
        + +
        +

        Is this denotation different from NoDenotation or an ErrorDenotation?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + expandedName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
        + +
        +

        The expanded name of this denotation.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + extendedOverriddenSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Iterator + +
        + +
        +

        Returns all matching symbols defined in parents of the selftype.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + fallbackToText + + + + + + ( + + + + printer: + + Printer + + + ) + + + + + + + : Text + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + field + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + filter + + + + + + ( + + + + p: + + Symbol => Boolean + + + ) + + + + + + + : Symbol + +
        + +
        +

        If this symbol satisfies predicate p this symbol, otherwise NoSymbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + filterAnnotations + + + + + + ( + + + + p: + + Annotation => Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Keep only those annotations that satisfy p

        + +
        +
        + +
        +
        + + + + + + + + def + + + + filterDisjoint + + + + + + ( + + + + denots: + + PreDenotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

        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 + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + filterWithPredicate + + + + + + ( + + + + p: + + SingleDenotation => Boolean + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + finalize + + + + + + ( + + + ) + + + + + + + : Unit + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + 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. Exclude all... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + first + + + + + + + + + : Denotation + +
        + +
        +

        First/last denotation in the group

        + +
        +
        + +
        +
        + + + + + + + + def + + + + flags + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : FlagSet + +
        + +
        +

        The flag set

        + +
        +
        + +
        +
        + + + + + + + + def + + + + flagsUNSAFE + + + + + + + + + : FlagSet + +
        + +
        +

        The flag set without forcing symbol completion. +Should be used only for printing.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + flags_= + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
        + +
        +

        Update the flag set

        + +
        +
        + +
        +
        + + + + + + + + def + + + + flatName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
        + +
        +

        The encoded flat name of this denotation, where joined names are separated by separator characters.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + fullName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
        + +
        +

        fullName where `.' is the separator character

        + +
        +
        + +
        +
        + + + + + + + + def + + + + fullNameSeparated + + + + + + ( + + + + separator: + + String + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
        + +
        +

        The encoded full path name of this denotation, where outer names and inner names +are separated by separator strings. +Never translates expansions of oper... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + getAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
        + +
        +

        Optionally, the annotation matching the given class symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + getter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + hasAltWith + + + + + + ( + + + + p: + + SingleDenotation => Boolean + + + ) + + + + + + + : Boolean + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + hasAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Does this denotation have an annotation matching the given class symbol?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + hasDefaultParams + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Does this symbol have defined or inherited default parameters?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + hasSkolems + + + + + + ( + + + + tp: + + Type + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + hasUniqueSym + + + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + override + + + def + + + + hashCode + + + + + + ( + + + ) + + + + + + + : Int + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + history + + + + + + + + + : List + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + implClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + info + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
        + +
        +

        The type info. +The info is an instance of TypeType iff this is a type denotation +Uncompleted denotations set myInfo to a LazyType.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + infoOrCompleter + + + + + + + + + : Type + +
        + +
        +

        The type info, or, if symbol is not yet completed, the completer

        + +
        +
        + +
        +
        + + + + + + + + def + + + + info_= + + + + + + ( + + + + tp: + + Type + + + ) + + + + + + + : Unit + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + initial + + + + + + + + + : SymDenotation + +
        + +
        +

        The version of this SingleDenotation that was valid in the first phase +of this run.

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + initialDenot + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SymDenotation + +
        + +
        +

        The initial denotation of this symbol, without going through current

        + +
        +
        + +
        +
        + + + + + + + + def + + + + installAfter + + + + + + ( + + + + phase: + + DenotTransformer + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Install this denotation as the result of the given denotation transformer.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + invalidateInheritedInfo + + + + + + ( + + + ) + + + + + + + : Unit + +
        + +
        +

        Invalidate all caches and fields that depend on base classes and their contents

        + +
        +
        + +
        +
        + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagConjunction + + , + + + + butNot: + + FlagSet + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagConjunction + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Has this denotation all of the flags in fs set?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagSet + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Has this denotation one of the flags in fs set?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + is + + + + + + ( + + + + fs: + + FlagSet + + , + + + + butNot: + + FlagSet + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Has this denotation one of the flags in fs set, whereas none of the flags +in butNot are set?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAbsent + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is symbol known to not exist?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAbstractOrAliasType + + + + + + + + + : Boolean + +
        + +
        +

        Is this symbol an abstract or alias type?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAbstractType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol an abstract type?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAccessibleFrom + + + + + + ( + + + + pre: + + Type + + , + + + + superAccess: + + Boolean + + , + + + + whyNot: + + StringBuffer + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this definition accessible as a member of tree with type pre?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAliasType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol an alias type?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAnonymousClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol an anonymous class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAnonymousFunction + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAnonymousModuleVal + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAnyOverride + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isAsConcrete + + + + + + ( + + + + that: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol concrete, or that symbol deferred?

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + isClass + + + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isClass + + + + + + + + + : Boolean + +
        + +
        +

        Is this denotation a class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isClassConstructor + + + + + + + + + : Boolean + +
        + +
        +

        is this the constructor of a class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isCoDefinedWith + + + + + + ( + + + + that: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this denotation defined in the same scope and compilation unit as that symbol?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isCompanionMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a companion class method or companion object method? +These methods are generated by Symbols#synthesizeCompanionMethod +and used in SymDenotations... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isCompleted + + + + + + + + + : Boolean + +
        + +
        +

        The denotation is completed: info is not a lazy type and attributes have defined values

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isCompleting + + + + + + + + + : Boolean + +
        + +
        +

        The denotation is in train of being completed

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isConstructor + + + + + + + + + : Boolean + +
        + +
        +

        Is this the constructor of a trait or a class

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isContainedIn + + + + + + ( + + + + boundary: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this definition contained in boundary? +Same as ownersIterator contains boundary but more efficient.

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + isDefinedInCurrentRun + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Does this symbol come from a currently compiled source file?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isDeprecated + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isEffectiveRoot + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol the empty package class or its companion object?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isEffectivelyFinal + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        A symbol is effectively final if it cannot be overridden in a subclass

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isEmptyPackage + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol the empty package class or its companion object?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isError + + + + + + + + + : Boolean + +
        + +
        +

        is this symbol the result of an erroneous definition?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isField + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + final + + + def + + + + isFresh + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isGetter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a getter?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isImplClassConstructor + + + + + + + + + : Boolean + +
        + +
        +

        Is this the constructor of a trait?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isImport + + + + + + + + + : Boolean + +
        + +
        +

        is this a symbol representing an import?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isIncompleteIn + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        A member of class base is incomplete if +(1) it is declared deferred or +(2) it is abstract override and its super symbol in base is +nonexistent or incompl...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isInlineMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isLocalDummy + + + + + + + + + : Boolean + +
        + +
        +

        Is this a local template dummmy?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isNullableClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol a class references to which that are supertypes of null?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isNumericValueClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is symbol a primitive numeric value class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isOverloaded + + + + + + + + + : Boolean + +
        + +
        +

        Is this denotation overloaded?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isPackageObject + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol a package object or its module class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isPhantomClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is symbol a phantom class for which no runtime representation exists?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isPrimaryConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Does this symbol denote the primary constructor of its enclosing class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isPrimitiveValueClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is symbol a primitive value class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isProperlyContainedIn + + + + + + ( + + + + boundary: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isRealClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this denotation a non-trait class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isRealMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a "real" method? A real method is a method which is: +- not an accessor +- not a label +- not an anonymous function +- not a companion method

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isRefinementClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol a class representing a refinement? These classes +are used only temporarily in Typer and Unpickler as an intermediate +step for creating Re...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isRoot + + + + + + + + + : Boolean + +
        + +
        +

        Is this symbol the root class or its companion object?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isSelfSym + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this the denotation of a self symbol of some class? +This is the case if one of two conditions holds: +1. It is the symbol referred to in the selfInfo... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isSetter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a setter?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isSkolem + + + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isStable + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a denotation of a stable term (or an arbitrary type)?

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + isStatic + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Special cased here, because it may be used on naked symbols in substituters

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isStatic + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this denotation static (i.e. with no outer instance)?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isStaticConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Does this symbol denote the static constructor of its enclosing class?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isStaticOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a package class or module class that defines static symbols?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isSubClass + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a subclass of the given class base?

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + isTerm + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Subclass tests and casts

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isTerm + + + + + + + + + : Boolean + +
        + +
        +

        Is this a reference to a term symbol?

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + isType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isType + + + + + + + + + : Boolean + +
        + +
        +

        Is this denotation a type?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isTypeParam + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this the info of a type parameter? Will return false for symbols +that are not type parameters.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isTypeTestOrCast + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isValueClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this symbol a class that extends AnyVal?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isValueClassConvertMethod + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Is this a syntetic method that represents conversions between representations of a value class +These methods are generated in ExtensionMethods +and used...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + isVolatile + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + isWeakOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Symbol is an owner that would be skipped by effectiveOwner. Skipped are +- package objects +- labels +- non-lazy valdefs

        + +
        +
        + +
        +
        + + + + + + + + def + + + + last + + + + + + + + + : Denotation + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + lexicallyEnclosingClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        A class that in source code would be lexically enclosing

        + +
        +
        + +
        +
        + + + + + + + + def + + + + linkedClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        If this is a class, the module class of its companion object. +If this is a module class, its companion class. +NoSymbol otherwise.

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

        A denotation with the info of this denotation transformed using f

        + +
        +
        + +
        +
        + + + + + + + + def + + + + mapInherited + + + + + + ( + + + + ownDenots: + + PreDenotation + + , + + + + prevDenots: + + PreDenotation + + , + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + markAbsent + + + + + + ( + + + ) + + + + + + + : Unit + +
        + +
        +

        Make denotation not exist

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

        Group contains a denotation with given signature

        + +
        +
        + +
        +
        + + + + + + + + def + + + + matchingDecl + + + + + + ( + + + + inClass: + + Symbol + + , + + + + site: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The non-private symbol whose name and type matches the type of this symbol +in the given class.

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + matchingMember + + + + + + ( + + + + site: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The non-private member of site whose name and type matches the type of this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + maybeOwner + + + + + + + + + : Symbol + +
        + +
        +

        Same as owner, except returns NoSymbol for NoSymbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + memberCanMatchInheritedSymbols + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        If false, this class member cannot possibly participate in an override, +either as overrider or overridee.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + membersNeedAsSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
        + +
        +

        Do members of this symbol need translation via asSeenFrom when +accessed via prefix pre?

        + +
        +
        + +
        +
        + + + + + + + + def + + + + mergeNames + + + + + + ( + + + + names1: + + List +[ +N +] + + , + + + + names2: + + List +[ +N +] + + , + + + + syntheticName: + + Int => N + + + ) + + + + + + + : [N <: dotty.tools.dotc.core.Names.Name] => + (names1: scala.collection.immutable.List[N], names2: + scala.collection.immutable.List[N] + , syntheticName: Int => N)scala.collection.immutable.List[N] (not handled) + +
        + +
        +

        Merge two lists of names. If names in corresponding positions match, keep them, +otherwise generate new synthetic names.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + migrationMessage + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + migrationVersion + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + mixins + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        +

        All traits implemented by a class, except for those inherited through the superclass. +The empty list if self is a trait.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + moduleClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The class implementing this module, NoSymbol if not applicable.

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + name + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : ThisName + +
        + +
        +

        The current name of this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + namedType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : NamedType + +
        + +
        +

        The NamedType representing this denotation at its original location. +Same as either typeRef or termRefWithSig depending whether this denotes a type or...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + namedTypeParams + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Set + +
        + +
        +

        The named type parameters declared or inherited by this symbol

        + +
        +
        + +
        +
        + + + + + + + + def + + + + ne + + + + + + ( + + + + x$0: + + Object + + + ) + + + + + + + : Boolean + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + newLikeThis + + + + + + ( + + + + s: + + Symbol + + , + + + + i: + + Type + + + ) + + + + + + + : SingleDenotation + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + nextInRun_= + + + + + + ( + + + + x$1: + + SingleDenotation + + + ) + + + + + + + : Unit + +
        + +
        +

        The next SingleDenotation in this run, with wrap-around from last to first.

        +

        There may be several SingleDenotations with different validity +representing... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + nonMemberTermRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + notify + + + + + + ( + + + ) + + + + + + + : Unit + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + notifyAll + + + + + + ( + + + ) + + + + + + + : Unit + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + orElse + + + + + + ( + + + + that: => + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        This symbol, if it exists, otherwise the result of evaluating that

        + +
        +
        + +
        +
        + + + + + + + + def + + + + orElse + + + + + + ( + + + + that: => + + SingleDenotation + + + ) + + + + + + + : SingleDenotation + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + orElse + + + + + + ( + + + + that: => + + Denotation + + + ) + + + + + + + : Denotation + +
        + +
        +

        If this denotation does not exist, fallback to alternative

        + +
        +
        + +
        +
        + + + + + + + + def + + + + originalName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Name + +
        + +
        +

        The name with which the denoting symbol was created

        + +
        +
        + +
        +
        + + + + + + + + def + + + + overriddenSymbol + + + + + + ( + + + + inClass: + + ClassSymbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The symbol, in class inClass, that is overridden by this denotation.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + overridingSymbol + + + + + + ( + + + + inClass: + + ClassSymbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The symbol overriding this symbol in given subclass ofclazz.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + owner + + + + + + + + + : Symbol + +
        + +
        +

        The owner of the symbol; overridden in NoDenotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + ownersIterator + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Iterator + +
        + +
        +

        The chain of owners of this denotation, starting with the denoting symbol itself

        + +
        +
        + +
        +
        + + + + + + + + def + + + + paramBounds + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TypeBounds + +
        + +
        +

        The info of the type parameter

        + +
        +
        + +
        +
        + + + + + + + + def + + + + paramBoundsAsSeenFrom + + + + + + ( + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TypeBounds + +
        + +
        +

        The info of the type parameter as seen from a prefix type. +For type parameter symbols, this is the memberInfo as seen from prefix. +For type lambda param... +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + paramBoundsOrCompleter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
        + +
        +

        The parameter bounds, or the completer if the type parameter +is an as-yet uncompleted symbol.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + paramName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TypeName + +
        + +
        +

        The name of the type parameter

        + +
        +
        + +
        +
        + + + + + + + + def + + + + paramRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
        + +
        +

        A type that refers to the parameter

        + +
        +
        + +
        +
        + + + + + + + + def + + + + paramVariance + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Int + +
        + +
        +

        The variance of the type parameter

        + +
        +
        + +
        +
        + + + + + + + + def + + + + pos + + + + + + + + + : Position + +
        + +
        +

        The position of this symbol, or NoPosition is symbol was not loaded +from source.

        + +
        +
        + +
        +
        + + + + + protected + + + def + + + + prefixString + + + + + + + + + : String + +
        + +
        +

        The prefix string to be used when displaying this symbol without denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + primaryConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The primary constructor of a class or trait, NoSymbol if not applicable.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + privateWithin + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The privateWithin boundary, NoSymbol if no boundary is given.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + privateWithin_= + + + + + + ( + + + + sym: + + Symbol + + + ) + + + + + + + : Unit + +
        + +
        +

        Set privateWithin.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + registerCompanionMethod + + + + + + ( + + + + name: + + Name + + , + + + + target: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + removeAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Remove annotation with given class from this 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 + + , + + + + generateStubs: + + Boolean + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        Return symbol in this denotation that satisfies the given predicate. +if generateStubs is specified, return a stubsymbol if denotation is a missing ref. +

        + +
        +
        + +
        +
        + + + + + + + + def + + + + requiredValue + + + + + + ( + + + + name: + + PreName + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermSymbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + requiredValueRef + + + + + + ( + + + + name: + + PreName + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + resetFlag + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
        + +
        +

        Unset given flags(s) of this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + scalacLinkedClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + setApplicableFlags + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
        + +
        +

        Set applicable flags from flags which is a subset of {NoInits, PureInterface}

        + +
        +
        + +
        +
        + + + + + + + + def + + + + setFlag + + + + + + ( + + + + flags: + + FlagSet + + + ) + + + + + + + : Unit + +
        + +
        +

        Set given flags(s) of this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + setter + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + show + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        +

        The string representation of this showable element.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + showDcl + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showDcl + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        +

        Show declaration string; useful for showing declarations +as seen from subclasses.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + showExtendedLocation + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showFullName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showKind + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showLocated + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showName + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showSummary + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + showSummary + + + + + + ( + + + + depth: + + Int + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : String + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + signature + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Signature + +
        + +
        +

        The signature of the denotation.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + skipConstructor + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        If this is a constructor, its owner: otherwise this.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + skipWeakOwner + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        If this is a weak owner, its owner, otherwise the denoting symbol.

        + +
        +
        + +
        +
        + + + + + final + + + def + + + + sourceFile + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : AbstractFile + +
        + +
        +

        The source file from which this class was generated, null if not applicable.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + sourceModule + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The module implemented by this module class, NoSymbol if not applicable.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + sourcePosition + + + + + + ( + + + + pos: + + Position + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SourcePosition + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + staleSymbolError + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Nothing + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + subst + + + + + + ( + + + + from: + + List +[ +Symbol +] + + , + + + + to: + + List +[ +Symbol +] + + + ) + + + + + + + : Symbol + +
        + +
        +

        Apply symbol/symbol substitution to this symbol

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + superId + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Int + +
        + +
        +

        A unique, densely packed integer tag for each class symbol, -1 +for all other symbols. To save memory, this method +should be called only if class is a su...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + superSymbolIn + + + + + + ( + + + + base: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The symbol accessed by a super in the definition of this symbol when +seen from class base. This symbol is always concrete. +pre: this.owner is in the bas...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + syncWithParents + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : SingleDenotation + +
        + +
        +

        For ClassDenotations only: +If caches influenced by parent classes are still valid, the denotation +itself, otherwise a freshly initialized copy.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + synchronized + + + + + + ( + + + + x$0: + + X0 + + + ) + + + + + + + : [X0] => (x$0: X0)X0 (not handled) + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + termParamAccessors + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + termRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
        + +
        +

        The TermRef representing this term denotation at its original location.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + termRefWithSig + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
        + +
        +

        The TermRef representing this term denotation at its original location +at the denotation's signature.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + thisType + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
        + +
        +

        The type This(cls), where cls is this class, NoPrefix for all other symbols

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

        Convert to full denotation by &-ing all elements

        + +
        +
        + +
        +
        + + + + + override + + + def + + + + toString + + + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + toString + + + + + + + + + : String + +
        + +
        + +
        +
        + +
        +
        + + + + + + + + def + + + + toText + + + + + + ( + + + + printer: + + Printer + + + ) + + + + + + + : Text + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + toText + + + + + + ( + + + + printer: + + Printer + + + ) + + + + + + + : Text + +
        + +
        +

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

        + +
        +
        + +
        +
        + + + + + + + + def + + + + topLevelClass + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The top-level class containing this denotation, +except for a toplevel module, where its module class is returned.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + transformAfter + + + + + + ( + + + + phase: + + DenotTransformer + + , + + + + f: + + SymDenotation => SymDenotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Apply a transformation f to all denotations in this group that start at or after +given phase. Denotations are replaced while keeping the same validity...

        + +
        +
        + +
        +
        + + + + + + + + def + + + + transformAnnotations + + + + + + ( + + + + f: + + Annotation => Annotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
        + +
        +

        Apply transform f to all annotations of this denotation

        + +
        +
        + +
        +
        + + + + + + + + def + + + + typeParamCreationFlags + + + + + + + + + : FlagSet + +
        + +
        +

        The flags to be used for a type parameter owned by this symbol. +Overridden by ClassDenotation.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + typeParams + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +
        + +
        +

        The type parameters of a class symbol, Nil for all other symbols

        + +
        +
        + +
        +
        + + + + + + + + def + + + + typeRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TypeRef + +
        + +
        +

        The TypeRef representing this type denotation at its original location.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + underlyingSymbol + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Symbol + +
        + +
        +

        The field accessed by a getter or setter, or +if it does not exists, the getter of a setter, or +if that does not exist the symbol itself.

        + +
        +
        + +
        +
        + + + + + + + + def + + + + unforcedAnnotation + + + + + + ( + + + + cls: + + Symbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Option + +
        + +
        +

        The same as getAnnotation, but without ensuring +that the symbol carrying the annotation is completed

        + +
        +
        + +
        +
        + + + + + + + + def + + + + unforcedDecls + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Scope + +
        + +
        +

        The symbols defined in this class or object. +Careful! This does not force the type, so is compilation order dependent. +This method should be used only i...

        +
          + +
          +
          + +
          +
          + + + + + + + + def + + + + unforcedInfo + + + + + + + + + : Option + +
          + +
          +

          Optionally, the info if it is completed

          + +
          +
          + +
          +
          + + + + + + + + def + + + + union + + + + + + ( + + + + that: + + PreDenotation + + + ) + + + + + + + : PreDenotation + +
          + +
          +

          The union of two groups.

          + +
          +
          + +
          +
          + + + + + + + + def + + + + unsupported + + + + + + ( + + + + methodName: + + String + + + ) + + + + + + + : Nothing + +
          + +
          +

          Throws an UnsupportedOperationException with the given method name.

          + +
          +
          + +
          +
          + + + + + + + + def + + + + updateAnnotation + + + + + + ( + + + + annot: + + Annotation + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Unit + +
          + +
          +

          Remove any annotations with same class as annot, and add annot

          + +
          +
          + +
          +
          + + + + + + + + def + + + + valRef + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : TermRef + +
          + +
          +

          The TermRef representing this term denotation at its original location +and at signature NotAMethod.

          + +
          +
          + +
          +
          + + + + + + + + def + + + + validFor + + + + + + + + + : Period + +
          + +
          +

          The period during which this denotation is valid.

          + +
          +
          + +
          +
          + + + + + + + + def + + + + validFor_= + + + + + + ( + + + + p: + + Period + + + ) + + + + + + + : Unit + +
          + +
          + +
          +
          + +
          +
          + + + + + + + + def + + + + variance + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Int + +
          + +
          +

          The variance of this type parameter or type member as an Int, with ++1 = Covariant, -1 = Contravariant, 0 = Nonvariant, or not a type parameter

          + +
          +
          + +
          +
          + + + + + + + + def + + + + wait + + + + + + ( + + + + x$0: + + Long + + , + + + + x$1: + + Int + + + ) + + + + + + + : Unit + +
          + +
          + +
          +
          + +
          +
          + + + + + + + + def + + + + wait + + + + + + ( + + + + x$0: + + Long + + + ) + + + + + + + : Unit + +
          + +
          + +
          +
          + +
          +
          + + + + + + + + def + + + + wait + + + + + + ( + + + ) + + + + + + + : Unit + +
          + +
          + +
          +
          + +
          +
          + + + + + + + + def + + + + withAnnotationsCarrying + + + + + + ( + + + + from: + + Symbol + + , + + + + meta: + + ClassSymbol + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : self.type + +
          + +
          + +
          +
          + +
          +
          + + + + + + + + def + + + + | + + + + + + ( + + + + that: + + Denotation + + , + + + + pre: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Denotation + +
          + +
          +

          Form a choice between this denotation and that one.

          + +
          +
          + +
          +
          +
          +
          + + + + + + + + + + + + -- cgit v1.2.3