polyspace-configure
Синтаксис выбора исходных файловКогда вы создаете проекты при помощи polyspace-configure
можно включать или исключать исходные файлы, пути которых совпадают с шаблоном, который вы передаете опциям -include-sources
или -exclude-sources
. Можно задать эти две опции несколько раз и объединить их в командной строке.
Эта структура папки применяется к этим примерам.
Чтобы попробовать эти примеры, используйте демо- файлы в
. polyspaceroot
\ help\toolbox\bugfinder\examples\sources-select
является Polyspace® папка установки.polyspaceroot
Выполните эту команду:
polyspace-configure -allow-overwrite -include-sources "glob_pattern" \ -print-excluded-sources -print-included-sources make -B
glob_pattern
- шаблон glob, который используется для соответствия путям файлов, которые необходимо включить или исключить из проекта. Чтобы убедиться, что интерпретатор не расширяет шаблоны glob, которые вы передаете polyspace-configure
, заключайте их в двойные кавычки. В таблице примеры предполагают, что sources
является папкой верхнего уровня.
Синтаксис шаблона Glob | Пример |
---|---|
Никаких специальных символов, косых черт ('/') или обратных косых черт ('\'). Шаблон соответствует соответствующим файлам, но не папкам. |
|
Шаблон содержит
Совпадения не содержат диафрагм путей. |
|
Шаблон начинается с косой черты Шаблон соответствует только абсолютному пути. |
|
Шаблон заканчивается косой чертой (UNIX), обратной косой чертой (Windows) или Шаблон соответствует всем файлам в указанной папке.
|
|
Шаблон содержит '/**/' (UNIX) или '\**\' (Windows). Шаблон соответствует нулю или нескольким папкам в указанном пути. |
|
Шаблон начинается с Шаблон соответствует путям относительно пути, где вы запускаете команду. | Если вы начнете
|
Шаблон является UNC-путем в Windows. | Если ваши файлы находятся на сервере
|
polyspace-configure
не поддерживает эти зловещие шаблоны:
Абсолютные пути к текущему диску в Windows.
Для образца, \foo\bar
.
Относительные пути к текущей папке.
Для образца, C:foo\bar
.
Пути с расширенной длиной в Windows.
Для образца, \\?\foo
.
Пути, которые содержат '. или'.. ', за исключением начала шаблона.
Для образца, /foo/bar/../a?.c
.
The '*'
символ сам по себе.