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