variant-membership-owning-namespace

Available in: SysML

This checks that variants are owned by variations, or enum definitions which are implicitly variations.

Specification

The membership_owning_namespace of a VariantMembership must be a variation-point Definition or Usage.

Example

part def D {
    variant part P; // error
}

Add variation to the owning namespace:

variation part def D {
    variant part P; // ok
}

Or remove variant:

part def D {
    part P; // ok
}