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