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