type-owned-unioning-not-one

Available in: KerML

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

Specification

A Type must not have exactly one owned_unioning.

Example

This is only possible in KerML:

class A;
class B unions A; // error