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