グループ 3:型定義
Polyspace® のカスタム ルール 3.x は、typedef エイリアスの命名規則を強制します。
これらのルールを有効にする方法の詳細は、カスタム ルールのチェック (-custom-rules) を参照してください。
| 番号 | ルール | 詳細 |
|---|---|---|
| 3.1 | すべての整数型エイリアスは、指定されたパターンに従わなければなりません。 |
列挙型には適用されません。 |
| 3.2 | すべての浮動小数点型エイリアスは、指定されたパターンに従わなければなりません。 |
|
| 3.3 | すべてのポインター型エイリアスは、指定されたパターンに従わなければなりません。 |
|
| 3.4 | すべての配列型エイリアスは、指定されたパターンに従わなければなりません。 |
|
| 3.5 | すべての関数ポインター型エイリアスは、指定されたパターンに従わなければなりません。 |
|