Simulink® Code Inspector™ требует, чтобы вы задали подмножество значений обоих:
Параметры конфигурации Simulink. Для необходимых установок параметров Диалогового окна Параметров конфигурации смотрите Ограничения Параметра конфигурации.
Атрибуты всей модели. Для необходимых настроек смотрите Ограничения Атрибута Всей модели.
Для каждой диалоговой панели Параметров конфигурации или другой образцовой категории атрибутов, обеспечивает таблица:
Название категории; диалоговые имена панели соединяются с полным диалоговым описанием панели
Ограничения, которые применяются к каждому перечисленному образцовому параметру конфигурации или образцовому атрибуту
Демонстрационную таблицу показывают ниже. Для каждой записи:
Списки столбцов Parameter имя диалогового окна параметра, с именем командной строки параметра в круглых скобках. (Для образцовых записей атрибута первый столбец идентифицирует атрибут.)
Списки столбцов Constraint ограничение Simulink Code Inspector на параметр модели или атрибут.
Столбец FATAL / Nonfatal идентифицирует, отключает ли нарушение ограничения инспекцию кода.
Когда вы осматриваете код, сгенерированный из моделей с КРИТИЧЕСКОЙ несовместимостью, инспекция кода останавливается. Код, сгенерированный из моделей с КРИТИЧЕСКИМИ несовместимостями, не может быть проверен.
Когда вы осматриваете код, сгенерированный из моделей с нефатальными несовместимостями, инспекция кода не останавливается. Несмотря на то, что не может быть возможно полностью проверить сгенерированный код, инспекция кода продолжается. Simulink Code Inspector может частично проверить сгенерированный код. Можно сконфигурировать инспекцию кода так, чтобы нефатальное ограничительное нарушение отключило инспекцию кода.
Списки столбцов Compatibility Check проверка совместимости, которая проверяет на нарушение ограничения и соединяется с описанием проверки.
| Панель решателя (Simulink) | |||
|---|---|---|---|
| Параметр | Ограничение | КРИТИЧЕСКИЙ / Нефатальный | Проверка совместимости |
Type (Simulink) (SolverType) | Должен быть установлен в Fixed-step. | Нефатальный | Check solver settings> Verify 'Type' setting |
Solver (Simulink) (Solver) | Должен быть установлен в Discrete (no continuous states) (эквивалентный FixedStepDiscrete, заданному в командной строке). | Нефатальный | Check solver settings> Verify 'Solver' setting |
