expression-result-expression-membership

Available in: KerML, SysML

This checks that expressions have at most one owned or inherited result expression membership.

Specification

An Expression must have at most one ResultExpressionMembership.

Example

calc a { 4 }
calc b :> a { 5 } // error

Instead, prefer using composition which also makes intended behaviour far clearer without the inheritance semantics:

calc a { 4 }
calc b { a() } // ok