Simulink® Code Inspector™ поддерживает подмножество объектов Stateflow® для инспекции кода. Инспектор кода проверяет использование поддерживаемых объектов. Для поддерживаемых объектов могут применяться некоторые ограничения. Перед инспекцией кода, когда вы проверяете совместимость своего режима с правилами инспекции кода, программа контроля совместимости обнаруживает и сообщает о нарушениях ограничений Stateflow. Simulink Code Inspector поддерживает следующие объекты Stateflow для инспекции кода:
Поля
Графики
Данные и События
Графические функции
Соединения
Неатомарные подграфики
Функции Simulink
Состояния
Переходы
Таблицы истинности
Построения цикла for, например:
Ограничения Объекта Stateflow представляют ограничения Stateflow. Для каждого объекта Stateflow с ограничением обеспечивает раздел:
Имя объекта. Для получения информации об объекте см. Stateflow.
Ограничения, которые применяются к объекту.
Для каждой записи:
Списки столбцов Constraint ограничение Simulink Code Inspector на блок Stateflow или объект.
Столбец FATAL / Nonfatal идентифицирует, отключает ли нарушение ограничения инспекцию кода.
Когда вы смотрите код, сгенерированный из моделей с КРИТИЧЕСКОЙ несовместимостью, инспекция кода завершает работу. Код, сгенерированный из моделей с КРИТИЧЕСКИМИ несовместимостями, не может быть проверен.
Когда вы смотрите код, сгенерированный из моделей с нефатальными несовместимостями, инспекция кода не завершает работу. Несмотря на то, что не может быть возможно полностью проверить сгенерированный код, инспекция кода продолжается. Simulink Code Inspector может частично проверить сгенерированный код. Можно сконфигурировать инспекцию кода так, чтобы нефатальное ограничительное нарушение отключило инспекцию кода.
Списки столбцов Compatibility Check проверка совместимости, которая проверяет на нарушение ограничения и соединяется с описанием проверки.
