case-definition-subject-parameter-position

Available in: SysML

This checks that case definition subjects are the first parameter.

Specification

The subject_parameter of a CaseDefinition must be its first input.

Example

case def C {
    in param; // error
}

Declare all non-subject parameters after a subject:

case def C {
    subject s;
    in param; // ok
}