PreDenotation

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

Group contains a denotation that refers to given symbol

A denotation in the group exists

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.

First/last denotation in the group

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.

Group contains a denotation with the same signature as other

Convert to full denotation by &-ing all elements

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

The union of two groups.