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