Exponenta Banner

Number of Executable Lines

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

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

Описание

Примечание

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

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

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

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

Примеры

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

void func(int, double);

	int getSign(int arg) {//Excluded
	int sign; //Excluded
	static int siNumber = 0; //Excluded
	double dNumber = 5;//Excluded
	if(arg<0) {
		sign=-1;
		func(-arg,dNumber);
		++siNumber;
		/* func takes positive first argument */   //Excluded
	}//Excluded
	else if(arg==0)
	sign=0;
	else {
		sign=1;
		func(arg,dNumber);
		++siNumber;
	}//Excluded
	return sign;
}//Excluded

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

  • Определение функции.

  • Объявления переменной.

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

  • Линии с фигурными скобками только.

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

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

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

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

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

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

| |

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

Поддержка