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.

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

Remove extraneous arguments:

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