Недостижимый путь к выполнению

Описание

Выберите диагностическое действие, чтобы взять, когда будут построения графика не на допустимом пути к выполнению. Эти построения могут вызвать недостижимые пути к выполнению:

  • Повисшие переходы, не соединенные с целевым объектом.

  • Затенение перехода, вызванное безусловным переходом, происходящим из источника, который предотвращает другие переходы от того же источника от выполнения.

  • Состояния или соединения, не соединенные как место назначения от допустимого перехода.

  • Безусловные пути из состояний. В этом графике первоначально A состояния и B состояния активны. График затем берет безусловный переход, чтобы утвердить C и утвердить, что C становится активным. Переход, чтобы утвердить B1 не выполняет и утверждает, что B1 недостижим.

Диагностика Category:

Настройки

Значение по умолчанию: warning

none

Никакое предупреждение или ошибка не появляются.

warning

Предупреждение появляется.

error

Ошибка появляется и останавливает симуляцию.

Информация о командной строке

Параметр: SFUnreachableExecutionPathDiag
Значение: 'none' | 'warning' | 'error'
Значение по умолчанию: 'warning'

Рекомендуемые настройки

ПриложениеУстановка
Отладкаwarning
ТрассируемостьНикакое влияние
ЭффективностьНикакое влияние (для симуляции)
none (для генерации производственного кода)
Меры безопасностиerror

Похожие темы