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