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