Вы видите предупреждение как это при создании проекта Polyspace® из AUTOSAR XML и исходных файлов:
Could not find include file "MemMap.h"
Если вы используете переменные, или функции, объявленные в пропавших без вести, включают файл, можно также видеть ошибки позже.
По умолчанию Polyspace ищет только в исходной папке для #include
- d файлы. Если включать файл не присутствует непосредственно в исходной папке, Polyspace не может найти его. Например, пропавшие без вести включают файл, может быть в подпапке исходной папки.
Если вы хотите расшириться, путь поиска файлов для включают файлы, явным образом добавляют новые папки.
В пользовательском интерфейсе Polyspace используйте поле Specify additional include folders.
Смотрите запущенный Polyspace на коде AUTOSAR.
В командной строке используйте опцию -I
.
Смотрите polyspace-autosar
.
Этот метод имеет ограничение, что включать папка должна быть подпапкой исходной папки. Чтобы добавить включают папки, которые не находятся в исходной иерархии папок, используют расширенную настройку:
-extra-project-options "-I INCLUDE_FOLDER"
Если вы используете команду сборки в компиляции, можно извлечь параметры компиляции, такие как путь к, включает от команды сборки. Смотрите Polyspace Запуска на Коде AUTOSAR Используя Команду Сборки.