Exponenta Banner

Number of Lines

Общее количество линий в файле

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

Описание

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

Эта метрика вычисляется для исходных файлов и заголовочных файлов в тех же папках, что и исходные файлы. Если вы хотите:

Примеры

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

// Function to calculate power
 long long power(double x, int n){
	 long long BN = 1;// long long
	 for(int i = 0; i<n;++i){
		 BN*=x;
	 }
	 return BN;
 }
//Function to calculate approximate index 
 double AppxIndex(double m, double f){
	 double U = (power(m,2) - 1)/(power(m,2)+2); //First term
	 double V = (power(m,4) + 27*power(m,2)+38)/
	 (2*power(m,2)+3);// Second term
	 return (1+2*f*power(U,2)*(1+power(m,2)*U*V +
	  power(m,3)/power(m,3)*(U-V)))
	 /( (1-2*f*power(U,2)*(1+power(m,2)*U*V 
	 + power(m,3)/power(m,3)*(U-V))));
 }

Поскольку Polyspace включает комментарии и черные линии при вычислении этой метрики, общее количество линий в этом файле составляет 18.

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

Группа: Файл
Акроним: TOTAL_LINES
ЕГО Метрика: Нет

См. также

|

Документация Polyspace Bug Finder

Поддержка