Пользовательские правила 12. x в Polyspace® применять соглашения об именовании для шаблонов функций. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Число | Применяемое правило | Другие детали |
|---|---|---|
| 12.1 | Все шаблоны функций должны соответствовать заданному шаблону. | Применяется к шаблонам функций, не являющихся членами. |
| 12.2 | Все параметры шаблона функции должны соответствовать заданному шаблону. | Применяется к шаблонам функций представителей и нечленов. |
| 12.3 | Все представители шаблона функции должны следовать указанному шаблону. |
