グループ 2:前処理

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

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