Check rule Core_Chk026

From emotive
Jump to: navigation, search


Name Core_Chk026
Class Core
Severity Warning
SpecifiedBy ISO 13209-3


A Signatures is implemented by several Procedures must be the values of the ValidFor property procedures differ and there should be only one implementation without ValidFor see Validity concept.


This prevents unreachable code, if two procedures with the same validity are connected. The procedure, whose name comes alphabetically after another, would never be executed.