Check rule Core_Chk024

From emotive
Jump to: navigation, search

Classification

Name Core_Chk024
Class Core
Severity Critical
SpecifiedBy ISO 13209-3

Description

The properties of procedure of ProcedureCall must reference a procedure, a signature without realization or a signature with ProcedureSignatures implementation.

Comments

This prevents nonexisting references.