Пользовательские правила 1.x в Polyspace ® применяются правила именования для файлов и папок. Сведения о включении этих правил см. в разделеCheck custom rules (-custom-rules).
| Число | Правило применено | Другие детали |
|---|---|---|
| 1.1 | Все имена исходных файлов должны соответствовать заданному шаблону. | Проверяется только базовое имя. Исходный файл - это файл, который не включен. |
| 1.2 | Имена всех исходных папок должны соответствовать заданному шаблону. | Проверяется только имя папки. Исходный файл - это файл, который не включен. |
| 1.3 | Имена всех включаемых файлов должны соответствовать заданному шаблону. | Проверяется только базовое имя. Включенный файл - это включенный файл. |
| 1.4 | Имена всех включенных папок должны соответствовать заданному шаблону. | Проверяется только имя папки. Включенный файл - это включенный файл. |