R1032 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1032 / Mc:Mc-1

Selection Sequencer has input sorted by zero, one or many Attribute

Attribute sorts input for zero, one or many Selection Sequencer

---

Any subset of Attributes of the Class characterizing the Iterator input R1025 may be used to sort the input instances to establish an iteration sequence.

In the case where this is the empty set (no sorting Attributes), iteration will proceed in no particular order.

A given Attribute may or may not participate as a Sorting Attribute in any number of Sequencers.