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