グループ 2:前処理
Polyspace® のカスタム ルール 2.x は、マクロの命名規則を強制します。これらのルールを有効にする方法の詳細は、カスタム ルールのチェック (-custom-rules) を参照してください。
| 番号 | ルール | 詳細 |
|---|---|---|
| 2.1 | すべてのマクロは、指定されたパターンに従わなければなりません。 | マクロ名は前処理の前にチェックされます。 |
| 2.2 | すべてのマクロ パラメーターは、指定されたパターンに従わなければなりません。 | マクロ パラメーターは前処理の前にチェックされます。 |