MultiPreDenotation
Type members
Inherited types
Value members
Concrete methods
Map f
over all single denotations and aggregate the results with g
.
Map f
over all single denotations and aggregate the results with g
.
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 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 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
.
Keep only those denotations in this group which satisfy predicate p
.
Keep only those inherited members M of this predenotation for which the following is true
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 inownDenots
Return the denotation as seen frompre
. 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.
Inherited methods
The denotation with info(s) as seen from prefix type
The denotation with info(s) as seen from prefix type
- Inherited from:
- PreDenotation
Group contains a denotation that refers to given symbol
Group contains a denotation that refers to given symbol
- Inherited from:
- PreDenotation
Convert to full denotation by &-ing all elements
Convert to full denotation by &-ing all elements
- Inherited from:
- PreDenotation