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