enumeration-definition-subclassification

Available in: SysML

This checks that enumeration definitions do not subclassify other enumeration definitions.

Specification

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

an enumeration definition must not subclassify another enumeration definition

Example

enum def A;
enum def E :> A; // error: An enumeration definition must not subclassify another enumeration definition

Fix this by subclassifying attribute definitions, or KerML data types:

attribute def A;
enum def E :> A; // ok

Or remove subclassifications:

enum def A;
enum def E; // ok

---

All validation rules