<t:forAll>

Processes all child elements for each element of the collection obtained from evaluating the expr-attribute. If the type of expr is OclType, an implicit call to allInstances() is performed to obtain a set. If the expr attribute is omitted, it defaults to the expression self.

When a iterator attribute is given, its value is used as the name of an iterator variable. Otherwise, the evaluation context (self) is set accordingly in each iteration step. The counter-attribute allows to declare an integer variable, holding the current element index in each iteration step.

Attributes

expr

Contains an OCL expression that must result in an collection.

iterator

If present, the value denotes an iterator variable name that is used instead of self.

counter

If present, the given variable name is used to declare an integer variable holding the current element index.