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