exponenta event banner

Нет безусловных переходов по умолчанию

Описание

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

Эта конструкция диаграммы может привести к ошибкам несогласованности. Чтобы найти эту конструкцию в модели и исправить ее, используйте эту диагностику. Если диаграмма содержит локальные широковещательные передачи событий или неявные события, обнаружение несогласованности состояний может оказаться невозможным до времени выполнения.

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

Настройки

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

none

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

warning

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

error

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

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

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

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

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

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