Exponenta Banner

Number of Lines Within Body

Количество линий в теле функции

расширьте все на странице

Описание

Примечание

Используйте Bug Finder вместо Code Prover для вычислительных метрик кода. Поддержка вычислительных метрик кода в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Эта метрика вычисляет количество линий в теле функции. При вычислении значения этой метрики, Polyspace® включает объявления, комментарии, пустые строки, фигурные скобки и директивы предварительной обработки.

Если тело функции содержит #include директива, включенный исходный код файла также вычисляется как часть этой метрики.

Эта метрика не вычисляется для шаблонов C++.

Примеры

развернуть все

void func(int);


int getSign(int arg) {
    int sign;
    if(arg<0) {
        sign=-1;
        func(-arg);
        /* func takes positive arguments */
    }
    else if(arg==0)
        sign=0;
    else {
        sign=1;
        func(arg);
    }
    return sign;
}

В этом примере, количестве исполняемых линий getSign 13. Вычисление включает:

  • Объявление int sign;.

  • Комментарий /* ... */.

  • Эти две линии с фигурными скобками только.

Метрическая информация

Группа: Функция
Акроним: FLIN
Метрика HIS: нет

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b

Смотрите также

|

Документация Polyspace Code Prover

Поддержка