Пользовательские правила 6. x в Polyspace® применять соглашения об именовании для перечислений. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Число | Применяемое правило | Другие детали |
|---|---|---|
| 6.1 | Все теги перечисления должны соответствовать указанному шаблону. | |
| 6.2 | Все перечисляемые типы должны соответствовать заданному шаблону. | Перечисляемые типы являются псевдонимами для ранее определенных перечислений (заданные как typedef или using ключевое слово). |
| 6.3 | Все константы перечисления должны следовать указанному шаблону. |
