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