MultiDenotation

The set of alternative single-denotations making up this denotation

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

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

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

Is this denotation different from NoDenotation or an ErrorDenotation?

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

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.

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

Is this denotation overloaded?

Is this a reference to a term symbol?

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.

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 this denotation does not exist, fallback to alternative

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.

The string representation of this showable element.

The string representation with each line after the first one indented by the given given margin (in spaces).

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

The union of two groups.