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