case-definition-only-one-objective

Available in: SysML

This checks that case definitions have at most one owned or inherited objective.

Note that objectives implicitly redefine inherited objectives.

Specification

A CaseDefinition must have at most one feature_membership that is an ObjectiveMembership.

Example

case def C {
    objective s;
    objective s2; // error
}

Remove the additional objectives:

case def C {
    objective s; // ok
}