for-loop-action-usage-loop-variable

Available in: SysML

This checks that for loops have loop variables.

This is impossible to trigger through textual syntax.

Specification

The first owned_feature of a ForLoopActionUsage must be a ReferenceUsage.

In Syside, this equates to checking the presence of loop_variable_member only.