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