Пользовательские правила 7. x в Polyspace® осуществляют соглашения о присвоении имен для функций и параметров функции. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Номер | Прикладное правило | Другие детали |
|---|---|---|
| 7.1 | Все глобальные функции должны следовать за заданным шаблоном. | Глобальная функция является функцией с внешним рычажным устройством. |
| 7.2 | Все статические функции должны следовать за заданным шаблоном. | Статическая функция является функцией с внутренним рычажным устройством. |
| 7.3 | Все параметры функции должны следовать за заданным шаблоном. | На C++, применяется к функциям лица, не являющегося членом какой-либо организации. |