specialization-specific-not-conjugated

Available in: KerML, SysML

This checks that a specialized type is not conjugated.

Specification

The specific Type of a Specialization cannot be a conjugated Type.

Example

This is typically only possible in KerML using out-of-line specializations:

class A;
class B ~ A;
subclassifier B :> A; // error