!standard 4.3.5(3/5) 21-11-12 AI22-0020-1/01 !standard 4.3.5(4/5) !class ramification 21-11-12 !status work item 21-11-12 !status received 21-11-09 !priority Low !difficulty Easy !subject Order of elements in Aggregate aspect !summary The Aggregate aspect elements have to be given in the defined order. !question The elements of the Aggregate aspect are given syntactally in 4.3.5(4/5). This is like a pragma. Does this have the same effect as for a pragma, in that omissions and reordering are not allowed? (Yes.) !recommendation (See Summary.) !wording Add after 4.3.5(4/5): AARM Ramification: As this aspect is described with syntax, it has to be given exactly as specified here. That means it cannot be given as a positional aggregate, nor can the order of the elements be changed. For instance, New_Indexed always has to occur before Assign_Indexed, and Empty always has to be first. !discussion This is similar to the rule for pragma Import and other interfacing pragmas. Given that various elements can be omitted, a positional aggregate would be ambiguous. And many of these elements cannot be used together, so in practice this will not be very limiting. !ACATS test An ACATS B-Test should check that Aggregate cannot be a positional aggregate, nor one with the elements out of order. !appendix ****************************************************************