Exponenta Banner

Number of Files

Количество исходных файлов

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

Описание

Примечание

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

Эта метрика вычисляет количество исходных файлов в вашем проекте.

Примеры

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

#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 оценивает количество исходного файла, чтобы быть тем.

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

Группа: проект
Акроним: FILES
Метрика HIS: нет

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

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

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

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

|

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

Поддержка