Группа 2: Предварительная обработка

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

ЧислоПрименяемое правилоДругие детали
2.1Все макросы должны соответствовать заданному шаблону.Имена макросов проверяются перед предварительной обработкой.
2.2Все параметры макроса должны соответствовать заданному шаблону.Параметры макроса проверяются перед предварительной обработкой.