Simulink ® Code Inspector™ поддерживает подмножество блоков Simulink для проверки кода. Инспектор кода проверяет использование поддерживаемых блоков. Для поддерживаемых блоков могут применяться некоторые специфичные для блока ограничения для типов данных и параметров блока. Кроме того, несколько ограничений применяются ко всем поддерживаемым блокам. Перед проверкой кода при проверке совместимости модели с правилами проверки кода средство проверки совместимости обнаруживает нарушения ограничений блоков и сообщает о них.
Поддерживаемые ограничения блоков представляют поддерживаемые блоки в алфавитном порядке. Для каждого поддерживаемого блока таблица содержит:
Имя блока, которое связано с полным описанием блока в документации Simulink.
Тип данных и ограничения порта, применяемые к блоку.
Ограничения параметров блока, которые применяются к блоку.
Другие зависимости, применяемые к блоку.
Пример таблицы приведен ниже. Для каждой записи:
В столбце «Ограничение» отображается ограничение «Инспектор кода Simulink» для типов данных блока или параметра блока. Для параметров блока в записи отображается имя диалогового окна параметра с именем параметра в командной строке в скобках.
Столбец FATAL/Nonfatal определяет, прекращает ли нарушение ограничения проверку кода.
При проверке кода, созданного из моделей с несовместимостью FATAL, проверка кода завершается. Код, созданный из моделей с несовместимостью FATAL, не может быть проверен.
При проверке кода, созданного из моделей с нефатальной несовместимостью, проверка кода не завершается. Хотя полностью проверить созданный код может оказаться невозможным, проверка кода продолжается. Инспектор кода Simulink может частично проверить созданный код. Можно настроить проверку кода так, чтобы нарушение нефатального ограничения завершало проверку кода.
В столбце Проверка совместимости (Compatibility Check) содержится список проверок совместимости, которые проверяют нарушение ограничения, и ссылки на описание проверки.
| Насыщенность | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков прерываний > Проверка блоков насыщения |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Верхний предел (UpperLimit) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB ®, быть сложными или иметь два или более измерения. | Неокончательный | |
Нижний предел (LowerLimit) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
Все блоки содержат ограничения, которые применяются к поддерживаемым блокам.
Поддерживаемые блоки - По категории представляет поддерживаемые блоки по категориям и предоставляет ссылки на ограничения для конкретных блоков.
Поддерживаемые маскирующие блоки представляют поддерживаемые маскирующие блоки.
Примечание
Блоки, поддерживаемые для проверки кода, включая маскирующие блоки, доступны в библиотеке блоков slcilib, которую можно открыть путем ввода slcilib в окне команд MATLAB. Параметры для блоков в slcilib настроены для проверки кода.