Exponenta Banner
exponenta event 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

Поддержка