选择当图表连接同时具有以下两种条件时要采取的诊断操作。结:
没有无条件的过渡路径到一个状态或终端连接
有多个过渡路径通向它吗
这种图表配置可能会在模拟期间导致不必要的回溯。
类别:诊断
默认值:错误
没有一个
没有警告或错误出现。
警告
这时会出现一个警告,并带有一个指向不需要回溯示例的链接。
错误
出现错误并停止模拟。
为了避免不必要的回溯,考虑添加一个从图结点到终端结点的无条件过渡。
参数:SFUnexpectedBacktrackingDiag |
值:“没有” |“警告” |“错误” |
默认值:“错误” |
应用程序 | 设置 |
---|---|
调试 | 警告 |
可追溯性 | 没有影响 |
效率 | 无影响(模拟) 没有影响(对于生产代码的生成) |
安全预防措施 | 错误 |