invocation-expression-owned-features

Available in: KerML, SysML

This checks that owned invocation features are all input features, or a single result.

This is impossible to trigger through textual syntax as all arguments are owned through parameter memberships that set their feature directions to in automatically.

Specification

Other than its result, all the owned_features of an InvocationExpression must have direction = in.