PackageClassDenotation

A cache from types T to baseType(T, C)

Looks in both the package object and the package for members. The precise algorithm is as follows:

If this is the scala package look in the package first, and if nothing is found there, look in the package object second. Otherwise, look in the both the package object and the package and form a union of the results.

The reason for the special treatment of the scala package is that if we complete it too early, we freeze its superclass Any, so that no members can be entered in it. As a consequence, there should be no entry in the scala package object that hides a class or object in the scala package of the same name, because the behavior would then be unintuitive for such members.

The union of the member names of the package and the package object

The package object (as a term symbol) in this package that might contain sym as a member.

The package objects in this class

If another symbol with the same name is entered, unlink it. If symbol is a package object, invalidate the packageObj cache.

Unlink all package members defined in file in a previous run.

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 inaccessible in scala, they are treated as public.

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

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

Add the given annotation without parameters to the annotations of this denotation

Add given annotation to the annotations of this denotation

Add all given annotations to this symbol

Map f over all single denotations and aggregate the results with g.

All symbols overridden by this denotation.

The set of alternative single-denotations making up this denotation

The alternatives of this denotation that satisfy the predicate p.

The annotations of this denotation

Update the annotations of this denotation

The typeRef applied to its own type parameters

Cast to class denotation

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

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

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

Like baseClasses.length but more efficient.

Compute tp.baseType(this)

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

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

If this is a sealed class, its known children in the order of textual occurrence

The info asserted to have type ClassInfo

The symbol asserted to have type ClassSymbol

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 class does not exist.

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 if this module does not exist.

If this denotation is not completed, run the completer. The resulting info might be another completer.

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

Is this symbol a module that contains opaque aliases?

Group contains a denotation that refers to given symbol

Copy mamberNames and baseData caches from given denotation, provided they are valid at given phase.

Copy this denotation, overriding selective fields

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

Produce a denotation that is valid for the given context. Usually called when !(validFor contains ctx.period) (even though this is not a precondition). If the runId of the context is the same as runId of this denotation, the right flock member is located, or, if it does not exist yet, created by invoking a transformer (@See Transformers). If the runId's differ, but this denotation is a SymDenotation and its toplevel owner class or module is still a member of its enclosing package, then the whole flock is brought forward to be valid in the new runId. Otherwise the symbol is stale, which constitutes an internal error.

The current declaration in this symbol's class owner that has the same name as this one, and, if there are several, also has the same signature.

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

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

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

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 clash" suffix

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

The class containing this denotation. If this denotation is already a class, return itself Definitions flagged with JavaStatic are treated specially. Their enclosing class is not the lexically enclosing class, but in turn the enclosing class of the latter. This reflects the context created by Context#superCallContext, Context#thisCallArgContext for these definitions.

Note, that as packages have ClassSymbols, top level classes will have an enclosingClass with Package flag set.

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

The closest enclosing extension method containing this definition, including methods outside the current class.

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

The package class containing this denotation

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

Make sure this denotation is fully completed.

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.

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

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

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 findMember on a subclass.

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

Is this denotation different from NoDenotation or an ErrorDenotation?

The expanded name of this denotation.

Returns all matching symbols defined in parents of the selftype.

The extension parameter of this extension method

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

Keep only those annotations that satisfy p

Keep only those denotations in this group which have a signature that's not already defined by denots.

Keep only those denotations in this group that have all of the flags in required, but none of the flags in excluded.

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

Find member of this denotation with given name, all required flags and no excluded flag, and produce a denotation that contains the type of the member as seen from given prefix pre.

First/last denotation in the group

The flag set

Update the flag set

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

fullName where `.' is the separator character

The encoded full path name of this denotation, where outer names and inner names are separated by separator strings as indicated by the given name kind. Drops package objects. Represents each term in the owner chain by a simple _$.

The encoded full path name of this denotation (separated by prefixKind), followed by the separator implied by kind and the given name. Drops package objects. Represents each term in the owner chain by a simple _$.

Optionally, the annotation matching the given class symbol

The explicitly given self type (self types of modules are assumed to be explcitly given here).

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

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

Does this symbol have defined or inherited default parameters? Default parameters are recognized until erasure.

Denotation points to unique symbol; false for overloaded denotations and JointRef denotations.

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

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

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

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

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

Has this denotation the given flag set, whereas none of the flags in butNot are set?

Has this denotation one of given flag set?

Is symbol known to not exist?

Is this symbol an abstract or alias type?

Is this symbol an abstract type or type parameter?

Is this symbol an abstract type?

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

Is this symbol an alias type?

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

Has this denotation all of the flags in fs set?

Is this a Scala or Java annotation ?

Is this symbol an anonymous class?

Is this symbol concrete, or that symbol deferred?

Is this denotation a class?

Is this the constructor of a class?

Do this symbol and cls represent a pair of a given or implicit method and its associated class that were defined by a single definition? This can mean one of two things:

• the method and class are defined in a structural given instance, or
• the class is an implicit class and the method is its implicit conversion.

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

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

The denotation is in train of being completed

Is this the constructor of a trait or a class

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

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

An erased value or an erased inline method or field

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

A class is effectively sealed if has the final or sealed modifier, or it is defined in Scala 3 and is neither abstract nor open.

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

is this symbol the result of an erroneous definition?

A class is extensible if it is not final, nor a module class, nor an anonymous class.

Is this a getter?

Is this a symbol representing an import?

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

Is this symbol the same or a linked class of sym?

Is this a local template dummmy?

Is this a denotation of a real class that does not have - either direct or inherited - initialization code?

Is symbol a class for which no runtime representation exists?

Is this symbol a class of which null is a value?

Is this symbol a class of which null is a value after erasure? For example, if -Yexplicit-nulls is set, String is not nullable before erasure, but it becomes nullable after erasure.

Is symbol a primitive numeric value class?

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

Has this denotation one of the flags in fs set?

Is this symbol a user-defined opaque alias type?

Is this denotation overloaded?

Is this symbol a package object or its module class?

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

Is symbol a primitive value class?

Is this denotation a non-trait class?

Is this a "real" method? A real method is a method which is:

• not an accessor
• not an anonymous function

True if the info of this denotation comes from a refinement.

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

Does this method or field need to be retained at runtime

Does this method need to be retained at runtime

Is this symbol the root class or its companion object?

Is this a Scala 2 macro

Is this a Scala 2 macro defined

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 part of the ClassInfo which is the type of this symbol's owner.
2. This symbol is owned by a class, it's selfInfo field refers to a type (indicating the self definition does not introduce a name), and the symbol's name is "_". TODO: Find a more robust way to characterize self symbols, maybe by spending a Flag on them?

Is this symbol a class that extends java.io.Serializable ?

Is this a setter?

Is this a denotation of a stable term (or an arbitrary type)? Terms are stable if they are idempotent (as in TreeInfo.Idempotent): that is, they always return the same value, if any.

A member is stable, basically, if it behaves like a field projection: that is, it projects a constant result out of its owner.

However, a stable member might not yet be initialized (if it is an object or anyhow lazy). So the first call to a stable member might fail and/or produce side effects.

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

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

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

Is this a subclass of the given class base?

Is this a reference to a term symbol?

Is this denotation a type?

Is this symbol a class that extends AnyVal?

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

Symbol is an owner that would be skipped by effectiveOwner. Skipped are

• package objects
• non-lazy valdefs

Is this symbol a toplevel definition in a package object?

A class that in source code would be lexically enclosing

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

A denotation with the info of this denotation transformed using f

Keep only those inherited members M of this predenotation for which the following is true

• M is not marked Private
• If M has a unique symbol, it does not appear in prevDenots.
• M's signature as seen from prefix pre does not appear in ownDenots Return the denotation as seen from pre. Called from SymDenotations.computeMember. There, ownDenots are the denotations found in the base class, which shadow any inherited denotations with the same signature. prevDenots are the denotations that are defined in the class or inherited from a base type which comes earlier in the linearization.

Make denotation not exist.

()T and => T types should be treated as equivalent for this symbol. Note: For the moment, we treat Scala-2 compiled symbols as loose matching, because the Scala library does not always follow the right conventions. Examples are: isWhole(), toInt(), toDouble() in BigDecimal, Numeric, RichInt, ScalaNumberProxy.

Group contains a denotation with the same signature as other

matches without a target name check.

For definitions coming from different languages, we pick a common language to compute their signatures. This allows us for example to override some Java definitions from Scala even if they have a different erasure (see i8615b, i9109b), Erasure takes care of adding any necessary bridge to make this work at runtime.

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

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

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

Is it possible that a class inherits both this and that?

Form a denotation by conjoining with denotation that.

NoDenotations are dropped. MultiDenotations are handled by merging parts with same signatures. SingleDenotations with equal signatures are joined by following this sequence of steps:

1. If exactly one the denotations has an inaccessible symbol, pick the other one.
2. Otherwise, if one of the infos overrides the other one, and the associated symbol does not score strictly lower than the other one, pick the associated denotation.
3. Otherwise, if the two infos can be combined with infoMeet, pick that as result info, and pick the symbol that scores higher as result symbol, or pick sym1 as a tie breaker. The picked info and symbol are combined in a JointDenotation.
4. Otherwise, if one of the two symbols scores strongly higher than the other one, pick the associated denotation.
5. Otherwise return a multi-denotation consisting of both denotations.

Symbol scoring is determined according to the following ranking where earlier criteria trump later ones. Cases marked with (*) give a strong score advantage, the others a weak one.

1. The symbol exists, and the other one does not. (*)
2. The symbol is not a bridge, but the other one is. (*)
3. The symbol is concrete, and the other one is deferred
4. The symbol appears before the other in the linearization of pre
5. The symbol's visibility is strictly greater than the other one's.
6. The symbol is a method, but the other one is not.

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

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

All members of this class that have the given name and match the required and excluded flag sets; members excluded based on the flag sets do not shadow inherited members that would not be excluded.

The elements of the returned pre-denotation all have existing symbols.

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

If this a module, return the corresponding class, if this is a module, return itself, otherwise NoSymbol

The name of the denotation

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

Equivalent to allOverriddenSymbols.headOption.getOrElse(NoSymbol) but more efficient.

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

The alias of an opaque type alias that's stored in the self type of the containing object.

If this is an opaque alias, replace the right hand side info by appropriate bounds and store info in the refinement of the self type of the enclosing class. Otherwise return info

If this denotation does not exist, fallback to alternative

The effective name with which the denoting symbol was created

The owner with which the denoting symbol was created.

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

The symbol overriding this symbol in given subclass ofclazz.

The owner of the symbol; overridden in NoDenotation

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

The term parameter accessors of this class. Both getters and setters are returned in this list.

The term parameter getters of this class.

The symbols of each type parameter list and value parameter list of this method, or Nil if this isn't a method.

Makes use of rawParamss when present, or constructs fresh parameter symbols otherwise. This method can be allocation-heavy.

The symbols of the parent classes.

For SymDenotation, this is NoPrefix. For other denotations this is the prefix under which the denotation was constructed.

Note that asSeenFrom might return a SymDenotation and therefore in general one cannot rely on prefix being set, see Config.reuseSymDenotations for details.

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

The privateWithin boundary, NoSymbol if no boundary is given.

If this is a method, the parameter symbols, by section. Both type and value parameters are included. Empty sections are skipped.

Like termRef, but objects in the prefix are represented by their singleton type, this means we output pre.O.member rather than pre.O$.this.member.

This is required to avoid owner crash in ExplicitOuter. See tests/pos/i10769.scala

Like thisType, but objects in the type are represented by their singleton type, this means we output pre.O.member rather than pre.O$.this.member.

Like typeRef, but objects in the prefix are represented by their singleton type, this means we output pre.O.member rather than pre.O$.this.member.

This is required to avoid owner crash in ExplicitOuter. See tests/pos/i10769.scala

Register companion class

The registered companion; overridden in ClassDenotation

Remove annotation with given class from this denotation

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

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