exponenta event banner

Недоступный путь выполнения

Описание

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

  • Висячие переходы, не связанные с объектом назначения.

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

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

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

Категория: Диагностика

Настройки

По умолчанию: warning

none

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

warning

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

error

Появится сообщение об ошибке, которое остановит моделирование.

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

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

Рекомендуемые параметры

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

Связанные темы