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