Группа 4: Структуры

Пользовательские правила 4. x в Polyspace® применять соглашения об именовании для структурированных типов данных. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).

ЧислоПрименяемое правилоДругие детали
4.1Все struct теги должны следовать указанному шаблону. 
4.2Все struct типы должны следовать указанному шаблону.struct типы являются псевдонимами для ранее определенных структур (заданными с typedef или using ключевое слово).
4.3Все struct поля должны соответствовать заданному шаблону. 
4.4Все struct битовые поля должны соответствовать заданному шаблону.