type-owned-differencing-not-one

Available in: KerML

This checks that types have either no, or two or more owned differencings.

Specification

A Type must not have exactly one owned_differencing.

Example

This is only possible in KerML:

class A;
class B differences A; // error