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