グループ 7:関数

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

番号	ルール	詳細
7.1	すべてのグローバル関数の名前は、指定されたパターンに従わなければなりません。	グローバル関数は、外部リンクを含む関数です。
7.2	すべての静的関数の名前は、指定されたパターンに従わなければなりません。	静的関数は、内部リンクを含む関数です。このルールはクラス メンバー関数には適用されません。
7.3	すべての関数パラメーターは、指定されたパターンに従わなければなりません。	C++ では、非メンバー関数に適用されます。