グループ 8:定数

Polyspace^® のカスタム ルール 8.x は、定数の命名規則を強制します。これらのルールを有効にする方法の詳細は、カスタム ルールのチェック (-custom-rules) を参照してください。これらのルールは、クラス内に定義されている定数や、関数パラメーターである定数には適用されません。

番号	ルール	詳細
8.1	すべてのグローバル非静的定数の名前は、指定されたパターンに従わなければなりません。	グローバル非静的定数は、外部リンクを含む定数です。
8.2	すべてのグローバル静的定数の名前は、指定されたパターンに従わなければなりません。	グローバル静的定数は、内部リンクを含む定数です。
8.3	すべてのローカル非静的定数の名前は、指定されたパターンに従わなければなりません。	ローカル非静的定数は、リンクを含まない定数です。
8.4	すべてのローカル静的定数の名前は、指定されたパターンに従わなければなりません。	ローカル静的定数は、関数で static と宣言された定数です。
8.5	すべての浮動小数点定数値は、指定されたパターンに従わなければなりません。	パターンとして .*F を指定したとします。そうするとこのルールでは、コード内で、末尾が F である各 float 定数の値をチェックします。 float f1 = 10.0F;//Compliant float f2 = 10.0f; //Noncompliant このルールは、浮動小数点定数の名前はチェックしません。