主要内容

遥不可及的执行路径

描述

选择在有效执行路径上没有图表结构时要采取的诊断操作。这些构造会导致不可达的执行路径:

  • 未连接到目标对象的悬空转换。

  • 由源自某个源的无条件转换造成的转换阴影,该无条件转换阻止执行来自同一源的其他转换。

  • 从一个有效的转换中没有作为目的地连接的状态或节点。

  • 无条件地离开各州。在这个图表中,初始状态一个和国家B是活跃的。然后图表将无条件过渡到状态C和状态C变得活跃。状态转换B1不执行和状态B1是遥不可及的。

类别:诊断

设置

默认值:警告

没有一个

没有警告或错误出现。

警告

会出现一个警告。

错误

出现错误并停止模拟。

命令行信息

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

推荐设置

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

相关的话题