-generate-results-for)Задайте файлы, на которых вы хотите результаты анализа
Задайте файлы, на которых вы хотите результаты анализа.
Опция применяется только к кодированию нарушений правила и метрик кода. Вы не можете подавить проверки на этапе выполнения Программы автоматического доказательства Кода из избранного источника и заголовочных файлов.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Inputs & Stubbing.
Командная строка: Используйте опцию -generate-results-for. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы видеть результаты в заголовочных файлах, которые наиболее относятся к вам.
Например, по умолчанию, результаты сгенерированы на заголовочных файлах, которые расположены в той же папке как исходные файлы. Часто, другие заголовочные файлы принадлежат сторонней библиотеке. Хотя эти заголовочные файлы требуются для точного анализа, вы не интересуетесь рассмотрением результатов в тех заголовках. Поэтому по умолчанию результаты не сгенерированы для тех заголовков. Если вы интересуетесь определенными заголовками от сторонних библиотек, изменяете значение по умолчанию этой опции.
Значение по умолчанию: source-headers
source-headers Результаты появляются на исходных файлах и заголовочных файлах в той же папке как исходные файлы или в подпапках папок исходного файла.
Исходные файлы являются файлами, которые вы добавляете в папку Source своего проекта Polyspace® (или используйте с аргументом -sources в командной строке).
all-headersРезультаты появляются на исходных файлах и всех заголовочных файлах. Заголовочные файлы могут быть в той же папке, как исходные файлы, в подпапках папок исходного файла или во включают папки.
Исходные файлы являются файлами, которые вы добавляете в папку Source своего проекта Polyspace (или используйте с аргументом -sources в командной строке).
Включать папки являются папками, которые вы добавляете в папку Include своего проекта Polyspace (или используйте с аргументом -I в командной строке).
customРезультаты появляются на исходных файлах и файлах, которые вы задаете. Если вы вводите имя папки, результаты появляются на заголовочных файлах в той папке.
Щелкните
, чтобы добавить поле. Введите имя файла или имя папки.
Используйте эту опцию в сочетании с соответствующими значениями для опции Do not generate results for (-do-not-generate-results-for).
Если вы выбираете custom и значения для этих двух конфликтов опций, более определенное значение определяет отображение результатов. Например, в следующих примерах, значении для опции Generate results for sources and более конкретен.
| Generate results for sources and | Do not generate results for | Конечный результат |
|---|---|---|
|
| Результаты отображены на заголовочных файлах в C:\Includes\Custom_Library\ но не сгенерированный для других заголовочных файлов в C:\Includes и его подпапки. |
|
| Результаты отображены на заголовочном файле my_header.h в C:\Includes\ но не сгенерированный для других заголовочных файлов в C:\Includes\ и его подпапки. |
Используя эти две опции вместе, можно подавить результаты всех файлов в определенной папке, но не подавить избранные файлы в тех папках.
Если вы выбираете all-headers для этой опции результаты отображены на всех заголовочных файлах независимо от того, что вы задаете для опции Do not generate results for.
Параметр: -generate-results-for |
Значение:
source-headers | all-headers | custom= | custom= |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - Ленг c - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - Ленг c - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - Ленг c - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - Ленг c - источники |