type-owned-intersecting-not-one

Available in: KerML

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

Specification

A Type must not have exactly one owned_intersectings.

Example

This is only possible in KerML:

class A;
class B intersects A; // error