检查状态动作类型的顺序

检查 ID：mathworks.jmaab.jc_0733

规范：jc_0733：状态动作类型的顺序

标识 Stateflow^® 状态中顺序错误的状态动作。

此检查需要 Simulink^® Check™ 许可证。

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。

作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：

规范子 ID	条件	建议的操作
jc_0733_a：检查基本状态动作类型。	一个或多个 Stateflow 状态的基本状态动作类型未按正确顺序编写。	建议按以下顺序排列状态动作：entry (en)、during (du) 和 exit (ex)。
jc_0733_b：检查组合的状态动作类型	一个或多个 Stateflow 状态的组合状态动作类型顺序错误。	建议按以下顺序排列状态动作：entry (en)、during (du) 和 exit (ex)。