选择当图表没有无条件默认转换到某个状态时要采取的诊断操作。
这种图表结构可能导致不一致错误。要在模型中定位并纠正该构造,请使用此诊断。如果图表包含本地事件广播或隐式事件,则在运行时之前可能无法检测状态不一致。
类别:诊断
默认值:错误
没有一个
没有警告或错误出现。
警告
会出现一个警告。
错误
出现错误并停止模拟。
参数:SFNoUnconditionalDefaultTransitionDiag |
值:“没有” |“警告” |“错误” |
默认值:“警告” |
应用程序 | 设置 |
---|---|
调试 | 错误 |
可追溯性 | 没有影响 |
效率 | 无影响(模拟)没有一个 (用于生成产品代码) |
安全预防措施 | 错误 |