Check rule Core_Chk012

From emotive
Jump to: navigation, search

Classification

Name Core_Chk012
Class Core
Severity Warning
SpecifiedBy ISO 13209-3

Description

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

Comments

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.