主要内容

意想不到的回溯

描述

选择当图表连接同时具有以下两种条件时要采取的诊断操作。结:

  • 没有无条件的过渡路径到一个状态或终端连接

  • 有多个过渡路径通向它吗

这种图表配置可能会在模拟期间导致不必要的回溯。

类别:诊断

设置

默认值:错误

没有一个

没有警告或错误出现。

警告

这时会出现一个警告,并带有一个指向不需要回溯示例的链接。

错误

出现错误并停止模拟。

提示

为了避免不必要的回溯,考虑添加一个从图结点到终端结点的无条件过渡。

命令行信息

参数:SFUnexpectedBacktrackingDiag
值:“没有”|“警告”|“错误”
默认值:“错误”

推荐设置

应用程序 设置
调试 警告
可追溯性 没有影响
效率 无影响(模拟)
没有影响(对于生产代码的生成)
安全预防措施 错误

相关的话题