Группа 20: стиль

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

НомерПрикладное правилоДругие детали
20.1Исходная длина линии не должна превышать конкретное количество символов.

При конфигурировании средства проверки задайте:

  • Номер для символьного предела. Используйте столбец Pattern на настройке или pattern= линия в текстовом файле пользовательских правил.

  • Сообщение нарушения, такое как:

    Line exceeds n characters.
    Используйте столбец Convention на настройке или convention= линия в текстовом файле пользовательских правил.