constructor-expression-result-feature-redefinition

Available in: KerML, SysML

This checks that constructors arguments are bound to the instantiated type features only, and only once, i.e. that there are no extraneous or unrelated arguments.

Specification

Each owned_feature of the result of a ConstructionExpression must redefine exactly one public feature of the instantiated_type of the ConstructorExpression.

Example

attribute def A;
attribute a = new A(0, 2); // error: Unexpected argument: constructor expression argument must redefine a public feature

Remove extraneous arguments:

attribute def A;
attribute a = new A(0); // ok