feature-end-not-derived-abstract-composite-or-portion

Available in: KerML, SysML

This checks that end features are not derived, abstract, composite, or portion.

This is impossible to trigger through textual syntax.

Specification

A Feature with is_end = true must have all of is_derived = false, is_abstract = false, is_composite = false, and is_portion = false.