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