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