invocation-expression-parameter-redefinition

Available in: KerML, SysML

This checks that invocation arguments are bound to the instantiated type input features only, and only once.

Specification

Each input parameter of an InvocationExpression must redefine exactly one input parameter of the instantiated_type of the InvocationExpression.

Example

calc def F { in a; out b; }
x = F(a=0, b=1); // error

Do not bind arguments to out features:

calc def F { in a; out b; }
x = F(a=0); // ok