Simulink® Code Inspector™ поддерживает подмножество блоков Simulink для инспекции кода. Инспектор кода проверяет использование поддерживаемых блоков. Для поддерживаемых блоков могут применяться некоторые специфические для блоков ограничения на типы данных и параметры блоков. Кроме того, ко всем поддерживаемым блокам применяется несколько ограничений. Перед инспекцией кода, когда вы проверяете совместимость вашей модели с инспекцией кода правилами, проверка совместимости обнаруживает и сообщает о нарушениях ограничений блоков.
Поддерживаемые блочные ограничения представляют поддерживаемые блоки в алфавитном порядке. Для каждого поддерживаемого блока таблица содержит:
Имя блока, который ссылается на полное описание блока в документации Simulink.
Тип данных и ограничения портов, которые применяются к блоку.
Блокируйте ограничения параметров, которые применяются к блоку.
Другие ограничения, которые применяются к блоку.
Пример таблицы показан ниже. Для каждой записи:
В Constraint столбце перечислено ограничение Simulink Code Inspector на типы данных блоков или параметры блоков. Для параметров блоков в записи указывается имя диалогового окна параметра с именем командной строки параметра в круглых скобках.
Столбец FATAL / Nonfatal определяет, прекращает ли нарушение ограничения инспекцию кода.
При проверке кода, сгенерированного из моделей с несовместимостью FATAL, инспекция кода прекращается. Код, сгенерированный из моделей с несовместимостью FATAL, не может быть проверен.
Когда вы проверяете код, сгенерированный из моделей с нефатальными несовместимостями, инспекция кода не прекращается. Несмотря на невозможность полной проверки сгенерированного кода, инспекция кода продолжается. Simulink Code Inspector может частично проверить сгенерированный код. Можно сконфигурировать инспекцию кода так, чтобы нефатальное нарушение ограничений завершало инспекцию кода.
В Compatibility Check столбце перечислены проверки совместимости, которая проверяет на нарушение ограничения, и ссылки на описание проверки.
| Saturation | |||
|---|---|---|---|
| Ограничение | FATAL/Нефатальный | Проверка совместимости | |
| Типы данных и порты | Ограничения, применяемые ко всем блокам. | Неокончательный | 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для инспекции кода настроены библиотеки.
