Next: , Previous: Numeric_Literals, Up: Predefined Rules

23.6.35 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.