AUTOSAR C++14 Rule M6-2-3

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

Описание

Управляйте определением

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

Реализация Polyspace

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

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

    Например:

    /* wait for pin */ ; 

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

    Например:

    ;// wait for pin

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

Например:

; count++;

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

Группа: операторы
Категория: необходимый, автоматизированный
Введенный в R2019a