result-expression-membership-owning-type

Available in: KerML, SysML

This checks that result expression memberships are owned by functions or expressions.

This is impossible to trigger through textual syntax.

Specification

The owning_type of a ResultExpressionMembership must be a Function or Expression.