グループ 4:構造体

Polyspace^® のカスタム ルール 4.x は、構造化データ型の命名規則を強制します。これらのルールを有効にする方法の詳細は、カスタム ルールのチェック (-custom-rules) を参照してください。

番号	ルール	詳細
4.1	すべての struct タグは、指定されたパターンに従わなければなりません。
4.2	すべての struct 型は、指定されたパターンに従わなければなりません。	struct 型は、前に定義された構造体のエイリアスです (typedef または using キーワードで定義)。
4.3	All struct fields must follow the specified pattern.
4.4	All struct bit fields must follow the specified pattern.