case-usage-subject-parameter-position

Available in: SysML

This checks that case usage subjects are the first parameter.

Specification

The subject_parameter of a CaseUsage must be its first input.

Example

case c {
    in param; // error
}

Declare all non-subject parameters after a subject:

case c {
    subject s;
    in param; // ok
}