-jsf-coding-rules)Проверка на нарушения правил JSF C++
Укажите, проверять ли на нарушение JSF® Правила AV C++ (JSF++: 2005). Каждое значение опции соответствует подмножеству правил для проверки.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимость для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -jsf-coding-rules. См. «Информация о командной строке».
Используйте эту опцию, чтобы задать подмножество правил JSF C++ для проверки.
После анализа на Results List панели перечислены нарушения стандартов кодирования. На панели Source для каждого нарушения правил кодирования Polyspace® присваивает
символ ключевому слову или идентификатору, имеющему отношение к нарушению.
По умолчанию:
shall-rules
shall-rules
Проверить все правила Should. Правила являются обязательными требованиями и требуют верификации.
shall-will-rules
Проверяйте все правила Shall и Will. Правила Will являются обязательными требованиями, но не требуют верификации.
all-rules
Проверяйте все правила Shall, Will и Should. Должны ли правила быть рекомендательными.
from-file
Укажите XML- файл, в котором вы конфигурируете пользовательский выбор шашек для этого стандарта кодирования. Чтобы создать файл строения, щелкните, 
затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой панели окна Findings selection. Сохраните файл.
Чтобы использовать или обновить существующий файл строения, в Findings selection окне введите полный путь к файлу в указанном поле или нажмите Browse.
Если вы задаете опцию from-file, включить Set checkers by file (-checkers-selection-file).
Если ваш проект использует настройку, отличную от generic для Compiler (-compiler)Некоторые правила могут быть проверены не полностью. Например, AV Rule 8: «Весь код должен соответствовать стандарту C++ стандарта ISO/IEC 14882:2002 (E)».
Эта опция доступна только при установке Source code language (-lang) на CPP или C-CPP.
Для проектов со смешанными C и Кодом С++ JSF C++ checker анализирует только .cpp файлы.
Параметр:
-jsf-coding-rules |
Значение:
shall-rulesshall-will-rules | all-rules | from-file |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |
Не рекомендуемый запуск в R2019a
Начиная с R2019a, файл, в котором вы задаете пользовательский выбор стандартных шашек кодирования, использует формат XML. Можно сохранить пользовательские параметры для всех стандартов кодирования, поддерживаемых Polyspace в том же файле.
В предыдущих релизах вы сохраняли пользовательский выбор для каждого стандарта кодирования в отдельных текстовых файлах. Polyspace прекратит поддержку пользовательских стандартных файлов кодирования в текстовом формате в следующем релизе.
Интерфейс рабочего стола:
Если у вас есть проект, который содержит пользовательские стандартные файлы выбора кодирования в текстовом формате, Polyspace автоматически обновляет и консолидирует эти файлы в один XML-файл. Если ваш проект имеет конфликтующие строения, которые ссылаются на тот же пользовательский файл выбора, программное обеспечение сохраняет выбор стандарта консолидированного кодирования для каждого строения, чтобы разделить XML- файлы.
Чтобы обновить текстовые файлы в формате XML вручную, в Coding Standards & Code Metrics узле панели Configuration щелкните. 
В Findings selection окне выберите файлы и нажмите Save Changes. Polyspace консолидирует файлы в один XML-файл и сохраняет этот файл следующим filename.xmlfilename - имя первого выбранного файла в алфавитном порядке. Например, если вы выбираете foo.conf и bar.conf, они сохраняются как bar.conf.xml.
Командная строка:
Если у вас нет доступа к интерфейсу рабочего стола Polyspace, используйте файл StandardsConfiguration.xml как шаблон для создания XML- файл, где вы задаете пользовательский выбор стандартных шашек кодирования. Этот файл шаблона находится в polyspaceserverroot\ polyspace\examples\cxx\Bug _ Finder _ Example\sourcespolyspaceserverroot\ polyspace\examples\cxx\Code _ Prover _ Example\sourcespolyspaceserverrootC:\Program Files\Polyspace\R2019a. Чтобы обновить скрипт, смотрите эту таблицу
| Опция | Использование вместо этого |
|---|---|
-jsf-coding-rules "custom_standard.conf" | -checkers-selection-file "custom_standard.conf.xml" -jsf-coding-rules from-file |
.
