analysis-case-usage-types
Available in: SysML
This checks that analysis case usages are only typed by a single analysis case definition.
Subsumes case-usage-usage-types.
Specification
While not formally described in chapter 8, it is given in chapter 7.23.2:
An analysis case usage must be defined by a single analysis case definition.
Example
part def P;
analysis def A1;
analysis def A2;
analysis a1 : P; // error: An analysis case usage must be defined by a single analysis case definition
analysis a2 : A1, A2; // error: An analysis case usage must be defined by a single analysis case definition
Fix this by removing specializations that directly or indirectly contribute to invalid types:
part def P;
analysis a1; // ok
or specialize only a single analysis definition:
analysis def A1;
analysis a2 : A1; // ok