Для Inspector™ кода Simulink ® необходимо указать подмножество значений обоих типов:
Параметры конфигурации Simulink. Необходимые параметры диалогового окна «Параметры конфигурации» см. в разделе Ограничения параметров конфигурации.
Атрибуты на уровне модели. Необходимые настройки см. в разделе Ограничения атрибутов на уровне модели.
Для каждой диалоговой панели Параметры конфигурации (Configuration Parameters) или другой категории атрибутов модели таблица содержит:
Имя категории; имена диалоговых панелей ссылка на полное описание диалоговых панелей
Ограничения, которые применяются к каждому перечисленному параметру конфигурации модели или атрибуту модели
Пример таблицы приведен ниже. Для каждой записи:
В столбце «Параметр» отображается имя диалогового окна параметра, а в скобках - имя параметра в командной строке. (Для записей атрибутов модели первый столбец определяет атрибут.)
В столбце Ограничение (Constraint) перечислены ограничения инспектора кода Simulink для параметра или атрибута модели.
Столбец FATAL/Nonfatal определяет, прекращает ли нарушение ограничения проверку кода.
При проверке кода, созданного из моделей с несовместимостью FATAL, проверка кода завершается. Код, созданный из моделей с несовместимостью FATAL, не может быть проверен.
При проверке кода, созданного из моделей с нефатальной несовместимостью, проверка кода не завершается. Хотя полностью проверить созданный код может оказаться невозможным, проверка кода продолжается. Инспектор кода Simulink может частично проверить созданный код. Можно настроить проверку кода так, чтобы нарушение нефатального ограничения завершало проверку кода.
В столбце Проверка совместимости (Compatibility Check) содержится список проверок совместимости, которые проверяют нарушение ограничения, и ссылки на описание проверки.
| Панель решателя | |||
|---|---|---|---|
| Параметр | Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости |
Тип (SolverType) | Необходимо установить значение Fixed-step. | Неокончательный | Проверка параметров решателя > Проверка параметров типа |
Решатель (Solver) | Необходимо установить значение Discrete (no continuous states) (эквивалентно FixedStepDiscrete указано в командной строке). | Неокончательный | Проверка параметров решателя > Проверка параметров решателя |