メインコンテンツ

グループ 7:関数

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

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