グループ 9:変数

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

番号	ルール	詳細
9.1	すべてのグローバル非静的変数は、指定されたパターンに従わなければなりません。	グローバル非静的変数は、外部リンクを含む変数です。
9.2	すべてのグローバル静的変数は、指定されたパターンに従わなければなりません。	グローバル静的変数は、内部リンクを含む変数です。
9.3	すべてのローカル非静的変数は、指定されたパターンに従わなければなりません。	ローカル非静的変数は、リンクを含まない変数です。
9.4	すべてのローカル静的変数は、指定されたパターンに従わなければなりません。	ローカル静的変数は、関数で static と宣言された変数です。