Пользовательские правила 8. x в Polyspace® осуществляют соглашения о присвоении имен для констант. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Номер | Прикладное правило | Другие детали |
|---|---|---|
| 8.1 | Все глобальные константы должны следовать за заданным шаблоном. | Глобальная константа является константой с внешним рычажным устройством. |
| 8.2 | Все статические константы должны следовать за заданным шаблоном. | Статическая константа является константой с внутренним рычажным устройством. |
| 8.3 | Все локальные константы должны следовать за заданным шаблоном. | Локальная константа является константой без рычажного устройства. |
| 8.4 | Все статические локальные константы должны следовать за заданным шаблоном. | Статическая локальная константа является постоянными заявленными помехами в функции. |