rendering-usage-types

Available in: SysML

This checks that rendering usages are only typed by a single rendering definition.

Subsumes occurrence-usage-types.

Specification

While not formally described in chapter 8, it is given in chapter 7.26.4:

A rendering usage must be defined by a single rendering definition.

Example

part def P;
rendering def R1;
rendering def R2;
rendering r1 : P; // error: A rendering usage must be defined by a single rendering definition
rendering r2 : R1, R2; // error: A rendering usage must be defined by a single rendering definition

Fix this by removing specializations that directly or indirectly contribute to invalid types:

part def P;
rendering r1; // ok

or specialize only a single rendering definition:

rendering def R1;
rendering r2 : R1; // ok

---

All validation rules