-do-not-generate-results-for)Задайте файлы, на которых вы не хотите результатов анализа
Задайте файлы, на которых вы не хотите результатов анализа.
По умолчанию результаты не появляются на заголовочных файлах (если они не находятся в той же папке как исходные файлы). Можно использовать эту опцию, чтобы подавить результаты некоторых исходных файлов также (или от заголовочных файлов в тех же папках как исходные файлы). Если вы используете опцию Generate results for sources and (-generate-results-for) чтобы показать результаты на некоторых включают папки, можно использовать эту опцию, чтобы подавить результаты некоторых подпапок, или файлы в тех включают папки.
Опция применяется только к кодированию нарушений правила, метрик кода и неиспользованных глобальных переменных. Вы не можете подавить проверки на этапе выполнения Программы автоматического доказательства Кода от исходных и заголовочных файлов.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Inputs & Stubbing.
Командная строка и файл опций: Используйте опцию -do-not-generate-results-for. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы видеть результаты в заголовочных файлах, которые наиболее относятся к вам.
Например, по умолчанию, результаты сгенерированы на заголовочных файлах, которые расположены в той же папке как исходные файлы. Если вы не интересуетесь рассмотрением результатов в тех заголовках, изменяете значение по умолчанию этой опции.
Обратите внимание на то, что в Polyspace, когда Вы Кодируете, поведение по умолчанию даже не должно анализировать заголовки в неисходных папках. Можно использовать эту опцию, чтобы расширить осциллограф не анализируемые файлы ко всем заголовкам или различному подмножеству заголовков. См. также Аналитический Осциллограф Polyspace, когда Вы Кодируете (Polyspace Bug Finder Access).
Значение по умолчанию: include-folders
include-folders Результаты не сгенерированы для заголовочных файлов в, включают папки (и их подпапки).
Включать папки являются папками, которые вы добавляете в папку Include своего проекта Polyspace® (или используйте с аргументом -I в командной строке).
Если включать папка является подпапкой исходной папки, результаты сгенерированы для файлов в этом, включают папку, даже если вы задаете значение опции include-folders. В этой ситуации используйте значение опции custom и явным образом задайте включать папки, чтобы проигнорировать.
all-headersРезультаты не сгенерированы для всех заголовочных файлов. Заголовочные файлы могут быть в той же папке, как исходные файлы, в подпапках папок исходного файла или во включают папки.
Исходные файлы являются файлами, которые вы добавляете в папку Source своего проекта Polyspace (или используйте с аргументом -sources в командной строке).
Включать папки являются папками, которые вы добавляете в папку Include своего проекта Polyspace (или используйте с аргументом -I в командной строке).
customРезультаты не сгенерированы для файлов, которые вы задаете. Если вы вводите имя папки, результаты подавлены из файлов в той папке (и ее подпапках).
Щелкните
, чтобы добавить поле. Введите имя файла или имя папки.
Используйте эту опцию соответственно в сочетании с соответствующими значениями для опции Generate results for sources and (-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 для этой опции результаты подавлены от всех заголовочных файлов независимо от того, что вы задаете для опции Generate results for sources and.
Если дефект или кодирующий нарушение правила включает два файла, и вы не генерируете результаты для одного из файлов, дефекта или постановляете, что нарушение все еще появляется. Например, если вы задаете две переменные с подобно выглядящими именами в файлах myFile.cpp и myFile.h, вы получаете нарушение правила 2-10-1 MISRA® C ++, даже если вы не генерируете результаты для myFile.h. Правило 2-10-1 C++ MISRA утверждает, что различные идентификаторы должны быть типографским способом однозначными.
Следующие результаты могут включить больше чем один файл:
Если глобальная переменная никогда не используется после объявления это появляется в результатах Программы автоматического доказательства Кода как неиспользованная глобальная переменная. Однако, если это объявляется в файле, для которого вы не хотите результаты, вы не видите неиспользуемую переменную в своих результатах верификации.
Если результат (кодирующий нарушение правила или дефект Bug Finder) в макросе, Polyspace обычно показывает результат на макроопределении вместо макро-случаев так, чтобы вы рассмотрели результат только однажды. Даже если макрос используется в подавленном файле, результат все еще показывают на макроопределении, если определение происходит в неподавленном файле.
Параметр: -do-not-generate-results-for |
Значение:
all-headers | include-folders | custom= | custom= |
Пример (Bug Finder):
Polyspace Bug Finder - Ленг c - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - Ленг c - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - Ленг c - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - Ленг c - источники |
