DenotUnion
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait MultiPreDenotationclass PreDenotationclass Objecttrait Matchableclass AnyShow all
Members list
Type members
Types
Value members
Concrete methods
Group contains a denotation that refers to given symbol
Group contains a denotation that refers to given symbol
Attributes
Convert to full denotation by &-ing all elements
Convert to full denotation by &-ing all elements
Attributes
Inherited 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.
Attributes
- Inherited from:
- MultiPreDenotation
The denotation with info(s) as seen from prefix type
Attributes
- Inherited from:
- MultiPreDenotation
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.
Attributes
- Inherited from:
- MultiPreDenotation
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.
Attributes
- Inherited from:
- MultiPreDenotation
Keep only those denotations in this group which satisfy predicate p.
Keep only those denotations in this group which satisfy predicate p.
Attributes
- Inherited from:
- MultiPreDenotation
First/last denotation in the group
Attributes
- Inherited from:
- MultiPreDenotation
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
predoes not appear inownDenotsReturn the denotation as seen frompre. Called from SymDenotations.computeMember. There,ownDenotsare the denotations found in the base class, which shadow any inherited denotations with the same signature.prevDenotsare the denotations that are defined in the class or inherited from a base type which comes earlier in the linearization.
Attributes
- Inherited from:
- MultiPreDenotation
Group contains a denotation with the same signature as other
Group contains a denotation with the same signature as other
Attributes
- Inherited from:
- MultiPreDenotation
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
The union of two groups.