case-usage-only-one-objective

Available in: SysML

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

Note that objectives implicitly redefine inherited objectives.

Specification

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

Example

case c {
    objective s;
    objective s2; // error
}

Remove the additional objectives:

case c {
    objective s; // ok
}