exponenta event banner

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

Пользовательские правила 2.x в Polyspace ® применяются правила именования для макросов. Сведения о включении этих правил см. в разделеCheck custom rules (-custom-rules).

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