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