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