exponenta event banner

Правило AUTOSAR C++ 14 M6-2-3

Перед предварительной обработкой оператор null должен выполняться только в строке самостоятельно; за ним может следовать комментарий при условии, что первый символ, следующий за оператором null, является символом пробела

Описание

Определение правила

Перед предварительной обработкой оператор null должен выполняться только в строке самостоятельно; за ним может следовать комментарий при условии, что первый символ, следующий за оператором null, является символом пробела.

Внедрение Polyspace

Средство проверки рассматривает оператор null как строку, в которой первым символом, исключающим комментарии, является точка с запятой. Средство проверки помечает ситуации, в которых:

  • Комментарии отображаются перед точкой с запятой.

    Например:

    /* wait for pin */ ; 

  • Комментарии появляются сразу после точки с запятой без пробела между ними.

    Например:

    ;// wait for pin

Средство проверки также показывает нарушение при появлении второго оператора в той же строке, что и оператор null.

Например:

; count++;

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Проверить информацию

Группа: выписки
Категория: Обязательно, Автоматизировано
Представлен в R2019a