Пользовательские правила 5. x в Polyspace® применять соглашения об именовании для классов и членов класса. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Число | Применяемое правило | Другие детали |
|---|---|---|
| 5.1 | Все имена классов должны соответствовать указанному шаблону. | |
| 5.2 | Все типы классов должны следовать указанному шаблону. | Типы классов являются псевдонимами для ранее определенных классов (определяются typedef или using ключевое слово). |
| 5.3 | Все представители данных должны следовать указанному шаблону. | |
| 5.4 | Все представители функции должны следовать указанному шаблону. | |
| 5.5 | Все статические представители данных должны следовать указанному шаблону. | |
| 5.6 | Все статические представители функции должны следовать указанному шаблону. | |
| 5.7 | Все представители битового поля должны следовать заданному шаблону. |