association-end-types

Available in: KerML, SysML

This checks that owned ends of associations have exactly one type.

Specification

The owned_end_features of an Association must have exactly one type.

Example

attribute def A; attribute def B;
abstract connection def C {
    end attribute a : A, B; // error
}

Instead, only type end features once:

attribute def A; attribute def B;
abstract connection def C {
    end attribute a : A; // ok
}