Number of Header Files

Количество включенных заголовочных файлов

Описание

Примечание

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

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

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

Примеры

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

Заголовочные файлы, не продуманные в анализе

#include<iostream>
#include<string>
// 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;
 }

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

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

Группа: проект

Акроним: INCLUDES

Метрика HIS: нет

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

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

Используя Code Prover, чтобы вычислить метрики кода не рекомендуется

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

Проверка кодирование нарушений правила и вычислительных метрик кода при помощи Code Prover не рекомендуется. Этот рабочий процесс будет удален в будущем релизе. Чтобы проверять на кодирование нарушений правила и вычислить метрики кода, используйте Bug Finder. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder. Чтобы видеть, как Bug Finder вычисляет эту метрику кода, смотрите Number of Header Files.

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

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.

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