requirement-definition-subject-parameter-position

Available in: SysML

This checks that requirement definition subjects are the first parameter.

Specification

The subject_parameter of a RequirementDefinition must be its first input.

Example

requirement def R {
    in param; // error
}

Declare all non-subject parameters after a subject:

requirement def R {
    subject s;
    in param; // ok
}