Exponenta Banner

Количество исполняемых строк

Количество исполняемых строк в теле функции

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

Описание

Эта метрика измеряет количество исполняемых строк в теле функции. При вычислении значения этой метрики 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 равняется 9. Вычисление исключает:

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

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

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

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

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

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

| |

Документация Polyspace Code Prover
Поддержка