主要内容

文件数

源文件的数量

描述

此度量计算您的工程中的源文件的数量。

示例

全部展开

#include<iostream>
#include"pow.cpp"

double power(double, double);
//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))));
 }

 
 int main(){
	 return 0;
 }

在此示例中,代码调用函数 power,该函数是在包含的源文件 pow.cpp 中定义的。在分析代码时,Polyspace® 不会考虑所包含的源文件。由于分析中不会考虑该包含的源文件,因此 Polyspace 将源文件的数量计算为 1。

度量信息

:工程
缩写FILES
HIS 度量:否