グループ 10:名前空間 (C++)

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

番号	ルール
10.1	すべての名前空間は、指定されたパターンに従わなければなりません。