-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
Проверьте все правила Shall. Правила являются обязательными требованиями и требуют проверки.
shall-will-rules
Проверьте все правила Волей и Волей. Правила Will предназначены для обязательных требований, но не требуют проверки.
all-rules
Проверьте все правила «Должен,» «Уилл» и «Должен.» Если правила являются консультативными правилами.
from-file
Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, 
а затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой области окна выбора результатов. Сохраните файл.
Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).
Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).
Если в проекте используется параметр, отличный от generic для Compiler (-compiler)некоторые правила могут быть проверены не полностью. Например, правило AV 8: «Весь код должен соответствовать стандарту ISO/IEC 14882:2002 (E) C++».
Эта опция доступна только при установке Source code language (-lang) кому CPP или C-CPP.
Для проектов со смешанным кодом C и C++ средство проверки JSF C++ анализирует только .cpp файлы.
Параметр:
-jsf-coding-rules |
Значение:
shall-rules | shall-will-rules | all-rules | from-file |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |
Не рекомендуется начинать с R2019a
Начиная с R2019a, файл, в котором определяется пользовательская выборка стандартных шашек кодирования, использует формат XML. Можно сохранить пользовательские варианты выбора для всех стандартов кодирования, поддерживаемых Polyspace в одном файле.
В предыдущих версиях пользовательский выбор для каждого стандарта кодирования сохранялся в отдельных текстовых файлах. В следующем выпуске Polyspace прекратит поддержку пользовательских стандартных файлов кодирования в текстовом формате.
Интерфейс рабочего стола:
При наличии проекта, содержащего пользовательские стандартные файлы кодирования для выбора в текстовом формате, Polyspace автоматически обновляет и консолидирует эти файлы в один XML-файл. Если в проекте имеются конфликтующие конфигурации, которые ссылаются на один и тот же пользовательский файл выбора, программа сохраняет сводный стандартный выбор кода для каждой конфигурации, чтобы разделить XML-файлы.
Чтобы вручную обновить текстовые файлы в формате XML, в узле «Стандарты кодирования и метрики кода» на панели «Конфигурация» нажмите кнопку. 
В окне Выбор результатов выберите файлы и нажмите Сохранить изменения. 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 |
.
