Next: OTHERS_In_CASE_Statements, Previous: Numeric_Literals, Up: Predefined Rules
OTHERS_In_Aggregates
Flag each use of an others choice in extension aggregates.
In record and array aggregates, an others choice is flagged unless
it is used to refer to all components, or to all but one component.
If, in case of a named array aggregate, there are two associations, one
with an others choice and another with a discrete range, the
others choice is flagged even if the discrete range specifies
exactly one component; for example, (1..1 => 0, others => 1).
This rule has no parameters.