-generate-results-for)Задайте файлы, на которых вы хотите результаты анализа
Задайте файлы, на которых вы хотите результаты анализа.
По умолчанию результаты появляются на исходных файлах и заголовочных файлах в той же папке как исходные файлы. Можно использовать эту опцию, чтобы видеть результаты в других заголовочных файлах. Если вы используете опцию Do not generate results for (-do-not-generate-results-for) чтобы подавить целые папки, можно использовать эту опцию, чтобы не подавить некоторые подпапки или файлы в тех папках.
Опция применяется только к кодированию нарушений правила и метрик кода. Вы не можете подавить проверки на этапе выполнения Программы автоматического доказательства Кода из избранного источника и заголовочных файлов.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Inputs & Stubbing.
Командная строка и файл опций: Используйте опцию -generate-results-for. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы видеть результаты в заголовочных файлах, которые наиболее относятся к вам.
Например, по умолчанию, результаты сгенерированы на заголовочных файлах, которые расположены в той же папке как исходные файлы. Часто, другие заголовочные файлы принадлежат сторонней библиотеке. Хотя эти заголовочные файлы требуются для точного анализа, вы не интересуетесь рассмотрением результатов в тех заголовках. Поэтому по умолчанию результаты не сгенерированы для тех заголовков. Если вы интересуетесь определенными заголовками от сторонних библиотек, изменяете значение по умолчанию этой опции.
Обратите внимание на то, что в Polyspace, когда Вы Кодируете, вы не видите результаты в заголовках #include- d через исходный файл вообще. Поведение по умолчанию должно рассмотреть заголовки в той же папке как исходный файл (или подпапках) для анализа, но подавить результаты, найденные в заголовках. Можно использовать эту опцию только, чтобы расширить осциллограф, которого заголовки рассматриваются во время анализа. См. также Аналитический Осциллограф Polyspace, когда Вы Кодируете (Polyspace Bug Finder Access).
Значение по умолчанию: 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= |
Пример (Bug Finder):
Polyspace Bug Finder - Ленг c - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - Ленг c - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - Ленг c - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - Ленг c - источники |