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 проверка совместимости, которая проверяет на нарушение ограничения и соединяется с описанием проверки.
