Extensions.StateMachineProcedure.StateMachineProcedureChk010

From emotive
Jump to navigation Jump to search

Classification

Name StateMachineProcedure_Chk010
Class StateMachineProcedure
Severity Critical
SpecifiedBy ISO 13209-4

Description

The reference to trigger inside a transition will refer an existing trigger of the same state.