classifier-multiplicity-domain

Available in: KerML, SysML

This checks that multiplicities owned by classifiers do not have no featuring_types.

This is impossible to trigger through textual syntax.

Specification

If a Classifier has a multiplicity, then the multiplicity must have no featuring_types (meaning that its domain is implicitly Base::Anything).