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