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