グループ 2:前処理

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

番号	ルール	詳細
2.1	すべてのマクロは、指定されたパターンに従わなければなりません。	マクロ名は前処理の前にチェックされます。
2.2	すべてのマクロ パラメーターは、指定されたパターンに従わなければなりません。	マクロ パラメーターは前処理の前にチェックされます。