-include)Задайте файлы, чтобы быть #include - редактор каждым файлом C в анализе
Задайте файлы, чтобы быть #include - редактор каждым файлом C, вовлеченным в анализ. Программное обеспечение вводит операторы #include в предварительно обработанный код, используемый для анализа, но не изменяет код первоисточника.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Environment Settings.
Командная строка: Используйте опцию -include. Смотрите информацию о Командной строке.
Может быть много причин, почему вы хотите к #include файл во всех своих исходных файлах.
Например, можно собрать в одном заголовочном файле все обходные решения для ошибок компиляции. Используйте эту опцию, чтобы обеспечить заголовочный файл для анализа. Предположим, что у вас есть проблемы компиляции, потому что Polyspace® не распознает определенных специфичных для компилятора ключевых слов. Работать вокруг проблем, #define ключевые слова в заголовочном файле и предоставлять заголовочному файлу эту опцию.
Никакое значение по умолчанию
Задайте имя файла, которое будет включено в каждый файл, вовлеченный в анализ.
Polyspace все еще действует на другие директивы, такие как #include <include_file.h>.
Параметр: -include |
| Значение по умолчанию: 'none' |
Значение: file (Используют -include многократно для нескольких файлов), |
Пример (средство поиска ошибки):
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 |
Пример (сервер средства поиска ошибки): 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 |