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