グループ 1:Files

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

番号	ルール	詳細
1.1	すべてのソース ファイル名は、指定されたパターンに従わなければなりません。	ベース名のみチェックされます。ソース ファイルは、インクルードされないファイルです。
1.2	すべてのソース フォルダー名は、指定されたパターンに従わなければなりません。	フォルダー名のみチェックされます。ソース ファイルは、インクルードされないファイルです。
1.3	すべてのインクルード ファイル名は、指定されたパターンに従わなければなりません。	ベース名のみチェックされます。インクルード ファイルは、インクルードされるファイルです。
1.4	すべてのインクルード フォルダー名は、指定されたパターンに従わなければなりません。	フォルダー名のみチェックされます。インクルード ファイルは、インクルードされるファイルです。