for-loop-action-usage-parameters

Available in: SysML

This checks that for loops have sequence and body action parameters.

This is impossible to trigger through textual syntax.

Specification

A ForLoopActionUsage must have two owned input parameters.

In Syside, this equates to checking the presence of seq_member and body_action_member only.