Check rule Core_Chk012

From emotive
Jump to: navigation, search


Name Core_Chk012
Class Core
Severity Warning
SpecifiedBy ISO 13209-3


ValidFor property values must differ in several realisations and there should be just a realization without ValidFor see Validity concept.


This prevents unreachable code, if associated with two projects with same Validity. The realization of which is second in the sequence, would never run. The rule therefore helps to find inconsistencies in the process.