Simulink® Code Inspector™ поддерживает подмножество блоков Simulink для инспекции кода. Инспектор кода проверяет использование поддерживаемых блоков. Для поддерживаемых блоков могут применяться некоторые специфичные для блока ограничения на типы данных и параметры блоков. Кроме того, несколько ограничений применяются ко всем поддерживаемым блокам. Перед инспекцией кода, когда вы проверяете совместимость своей модели с правилами инспекции кода, программа контроля совместимости обнаруживает и сообщает о нарушениях ограничений блока.
Поддерживаемые Ограничения Блока представляют поддерживаемые блоки в алфавитном порядке. Для каждого поддерживаемого блока обеспечивает таблица:
Имя блока, которое соединяется с полным описанием блока в документации Simulink.
Тип данных и ограничения порта, которые применяются к блоку.
Ограничения параметров блоков, которые применяются к блоку.
Другие ограничения, которые применяются к блоку.
Демонстрационную таблицу показывают ниже. Для каждой записи:
Списки столбцов Constraint ограничение Simulink Code Inspector на типы данных блока или параметры блоков. Для параметров блоков запись перечисляет имя диалогового окна параметра с именем командной строки параметра в круглых скобках.
Столбец FATAL / Nonfatal идентифицирует, отключает ли нарушение ограничения инспекцию кода.
Когда вы смотрите код, сгенерированный из моделей с КРИТИЧЕСКОЙ несовместимостью, инспекция кода завершает работу. Код, сгенерированный из моделей с КРИТИЧЕСКИМИ несовместимостями, не может быть проверен.
Когда вы смотрите код, сгенерированный из моделей с нефатальными несовместимостями, инспекция кода не завершает работу. Несмотря на то, что не может быть возможно полностью проверить сгенерированный код, инспекция кода продолжается. Simulink Code Inspector может частично проверить сгенерированный код. Можно сконфигурировать инспекцию кода так, чтобы нефатальное нарушение ограничений отключило инспекцию кода.
Списки столбцов Compatibility Check проверка совместимости, которая проверяет на нарушение ограничения и соединяется с описанием проверки.
| Saturation | |||
|---|---|---|---|
| Ограничение | КРИТИЧЕСКИЙ / Нефатальный | Проверка совместимости | |
| Типы данных и порты | Ограничения, которые применяются ко всем блокам. | Нефатальный | Check usage of Discontinuities blocks> Check Saturate blocks |
| Порты ввода и вывода должны иметь совпадающий тип данных. | Нефатальный | ||
| Параметры блоков | Upper limit (UpperLimit) не должен: будьте пусты, быть неличными, использовать выбор области значений или переменную индексацию на элементах структур MATLAB®, быть комплексными, или иметь две или больше размерности. | Нефатальный | |
Lower limit (LowerLimit) не должен: будьте пусты, быть неличными, использовать выбор области значений или переменную индексацию на элементах структур MATLAB, быть комплексными, или иметь две или больше размерности. | Нефатальный | ||
Integer rounding mode (RndMeth) должен быть установлен в Zero или Floor. | Нефатальный | ||
Все Блоки перечисляют ограничения, которые применяются к поддерживаемым блокам.
Поддерживаемые Блоки — По категориям представляют поддерживаемые блоки по категориям и обеспечивают ссылки на специфичные для блока ограничения.
Поддерживаемые Блоки Маски представляют поддерживаемые блоки маски.
Примечание
Блоки, которые поддерживаются для инспекции кода, включая блоки маски, доступны в библиотеке блоков slcilib, который можно открыть путем ввода slcilib в командном окне MATLAB. Параметры для блоков в slcilib библиотека сконфигурирована для инспекции кода.
