search

Systems-Modeling / SysML-v2-Pilot-Implementation

Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
GNU Lesser General Public License v3.0
114 stars 23 forks source link

ST6RI-726 validateRedefinitionDirectionConformance not checked for implicit Redefinitions #512

Closed seidewitz closed 7 months ago

seidewitz commented 7 months ago

This PR corrects KerMLValidator so that thevalidateRedefinitionDirectionConformance constraint is checked on implicit as well as explicit redefinitions. In particular, it will be checked for implicit redefinitions of parameters which will, for example, catch the following validation error that was not caught before:

behavior A {
  in x;
}
behavior B {
  out y; // Fails validation
}