Extensions.StateMachineProcedure.StateMachineProcedureChk010

From emotive
Revision as of 04:34, 20 January 2022 by Ntr2 (talk | contribs) (refs #9361)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 shall refer an existing trigger of the same state.

Retrieved from "http://emotive.de/wiki/index.php?title=Extensions.StateMachineProcedure.StateMachineProcedureChk010&oldid=10344"