Пользовательские правила 2. x
в Polyspace® применять соглашения об именовании для макросов. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules)
.
Число | Применяемое правило | Другие детали |
---|---|---|
2.1 | Все макросы должны соответствовать заданному шаблону. | Имена макросов проверяются перед предварительной обработкой. |
2.2 | Все параметры макроса должны соответствовать заданному шаблону. | Параметры макроса проверяются перед предварительной обработкой. |