-include)Задайте файлы, чтобы быть #include- редактор каждым файлом C в анализе
Задайте файлы, чтобы быть #include- редактор каждым файлом C, вовлеченным в анализ. Программное обеспечение вводит #include операторы в предварительно обработанном коде, используемом для анализа, но, не изменяют код первоисточника.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Environment Settings.
Командная строка и файл опций: Используйте опцию -include. Смотрите информацию о командной строке.
Может быть много причин, почему вы хотите к #include файл во всех ваших исходных файлах.
Например, можно собрать в одном заголовочном файле все обходные решения для ошибок компиляции. Используйте эту опцию, чтобы обеспечить заголовочный файл для анализа. Предположим, что у вас есть проблемы компиляции, потому что Polyspace® не распознает определенных специфичных для компилятора ключевых слов. Работать вокруг проблем, #define ключевые слова в заголовочном файле и предоставляют заголовочному файлу эту опцию.
Никакое значение по умолчанию
Задайте имя файла, которое будет включено в каждый файл, вовлеченный в анализ.
Polyspace все еще действует на другие директивы, такие как #include <include_file.h>.
Параметр: -include |
| Значение по умолчанию: 'none' |
Значение: file (Используйте -include многократно для нескольких файлов) |
Пример (Bug Finder):
polyspace-bug-finder -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
Пример (программа автоматического доказательства кода): polyspace-code-prover -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
Пример (сервер Bug Finder): polyspace-bug-finder-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h |