Группа 7: Функции

Пользовательские правила 7. x в Polyspace® осуществляют соглашения о присвоении имен для функций и параметров функции. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).

НомерПрикладное правилоДругие детали
7.1Все глобальные функции должны следовать за заданным шаблоном.Глобальная функция является функцией с внешним рычажным устройством.
7.2Все статические функции должны следовать за заданным шаблоном.Статическая функция является функцией с внутренним рычажным устройством. Это правило не применяется к функциям члена класса.
7.3Все параметры функции должны следовать за заданным шаблоном.На C++, применяется к функциям лица, не являющегося членом какой-либо организации.