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