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: Subject must be the first input parameter
}

Declare all non-subject parameters after a subject:

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