グループ 5:クラス (C++)

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

番号	ルール	詳細
5.1	すべてのクラス名は、指定されたパターンに従わなければなりません。
5.2	すべてのクラス タイプは、指定されたパターンに従わなければなりません。	クラス型は、前に定義されたクラスのエイリアスです (typedef または using キーワードで定義)。
5.3	すべてのデータ メンバーの名前は、指定されたパターンに従わなければなりません。
5.4	すべての関数メンバーの名前は、指定されたパターンに従わなければなりません。
5.5	すべての静的データ メンバーの名前は、指定されたパターンに従わなければなりません。
5.6	すべての静的関数メンバーの名前は、指定されたパターンに従わなければなりません。
5.7	すべてのビットフィールド メンバーは、指定されたパターンに従わなければなりません。