An overloaded denotation consisting of the alternatives of both given denotations.
Constructors
Members
The denotation made up from the alternatives of this denotation that
are accessible from prefix pre
, or NoDenotation if no accessible alternative exist...
The denotation made up from the alternatives of this denotation that
are accessible from prefix pre
, or NoDenotation if no accessible alternative exists.
The alternatives of this denotation that satisfy the predicate p
.
The alternatives of this denotation that satisfy the predicate p
.
Resolve overloaded denotation to pick the ones with the given signature
when seen from prefix site
.
Resolve overloaded denotation to pick the ones with the given signature
when seen from prefix site
.
The variant of this denotation that's current in the given context. If no such denotation exists, returns the denotation with each alternative at its fi...
The variant of this denotation that's current in the given context. If no such denotation exists, returns the denotation with each alternative at its first point of definition.
Does this denotation have an alternative that satisfies the predicate p
?
Does this denotation have an alternative that satisfies the predicate p
?
The type info of the denotation, exists only for non-overloaded denotations
The type info of the denotation, exists only for non-overloaded denotations
The type info, or, if this is a SymDenotation where the symbol is not yet completed, the completer
The type info, or, if this is a SymDenotation where the symbol is not yet completed, the completer
Is this a reference to a type symbol?
Is this a reference to a type symbol?
A denotation with the info of this denotation transformed using f
A denotation with the info of this denotation transformed using f
The signature of the denotation.
The signature of the denotation.
The unique alternative of this denotation that satisfies the predicate p
,
or NoDenotation if no satisfying alternative exists.
The unique alternative of this denotation that satisfies the predicate p
,
or NoDenotation if no satisfying alternative exists.
The period during which this denotation is valid.
The period during which this denotation is valid.