Exponenta Banner
exponenta event banner

полипробел. Класс CodingRulesOptions

Пакет: полипробел

Создайте пользовательский список кодирования правил проверять

расширьте все на странице

Описание

Создайте пользовательский список кодирования правил проверять на один из поддерживаемых стандартных наборов правила кодирования. Чтобы использовать вашу пользовательскую цель в анализе, необходимо добавить его в объект polyspace.Options или polyspace.ModelLinkOptions (только десктопные решения). В вашем объекте опций:

  • Добавьте свой объект опций правил кодирования в одно из свойств CodingRulesCodeMetrics.RULESETSubset.

  • Активируйте свой набор правила кодирования одним из свойств CodingRulesCodeMetrics.EnableRULESET.

Примечание

Прежде чем вы запустите Polyspace® от MATLAB®, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Конструкция

ruleList = polyspace.CodingRulesOptions(RuleSet) создает объект ruleList правил кодирования для RuleSet, кодирующего набор правила. Установите активные правила в объекте правил кодирования.

Входные параметры

развернуть все

Стандартный набор правила кодирования, заданный как одно из кодирования, управляет акронимами.

Пример: 'misraCpp'

Типы данных: char

Свойства

Для каждого набора правила кодирования объект создается со всеми поддерживаемыми правилами для того набора правила. По умолчанию все правила идут. Чтобы выключить правило, установите правило ко лжи. Например:

ruleList.rule_20_1 = false

Копировать семантику

Значение. Чтобы изучить, как классы значения влияют на операции копии, смотрите Копирование Объектов (MATLAB).

Примеры

свернуть все

Настройте правила кодирования, которые проверяются во время вашего анализа при помощи объекта опций правил кодирования.

Создайте объекты опций.

misraRules = polyspace.CodingRulesOptions('misraC2012');
opts = polyspace.Options;

Добавьте, что индивидуально настраиваемый список кодирования правил к опциям Средства поиска Ошибки возражает и активирует их. 

opts.CodingRulesCodeMetrics.MisraC3Subset = misraRules;
opts.CodingRulesCodeMetrics.EnableMisraC3 = true;

Настройте список правил кодирования путем выключения правил 2.1-2.7.

misraRules.rule_2_1 = false;
misraRules.rule_2_2 = false;
misraRules.rule_2_3 = false;
misraRules.rule_2_4 = false;
misraRules.rule_2_5 = false;
misraRules.rule_2_6 = false;
misraRules.rule_2_7 = false;

Смотрите также

|

Введенный в R2017b
Документация Polyspace Code Prover
Поддержка