view-usage-types
Available in: SysML
This checks that view usages are only typed by a single view definition.
Subsumes occurrence-usage-types.
Specification
While not formally described in chapter 8, it is given in chapter 7.26.2:
A view usage must be defined by a single view definition.
Example
part def P;
view def V1;
view def V2;
view v1 : P; // error: A view usage must be defined by a single view definition
view v2 : V1, V2; // error: A view usage must be defined by a single view definition
Fix this by removing specializations that directly or indirectly contribute to invalid types:
part def P;
view v1; // ok
or specialize only a single view definition:
view def V1;
view v2 : V1; // ok