-iso-17961)Проверяйте на нарушения правил ISO/IEC TS 17961
Эта опция влияет на Средство поиска Ошибки только.
Задайте, проверять ли на нарушения правил ISO/IEC TS 17961.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -iso-17961. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы задать подмножество правил ISO/IEC TS 17961 проверять на.
После анализа панель Results List перечисляет кодирующие стандартные нарушения. На панели Source, для каждого кодирующего стандартного нарушения, Polyspace® присваивает
символ ключевому слову или идентификатору, относящемуся к нарушению.
Значение по умолчанию:
all
decidable
Проверяйте на нарушения разрешимых правил. Нарушения этих правил зависят только от времени компиляции статические свойства, например, тип объекта или осциллограф идентификаторов.
all
Проверяйте на нарушения всех поддержек Polyspace правил ISO/IEC TS 17961.
from-file
Задайте XML-файл, где вы конфигурируете пользовательский выбор средств проверки для этого стандарта кодирования. Чтобы создать конфигурационный файл, кликните
, затем выберите правила и рекомендации, которые вы хотите проверять на этот стандарт кодирования от правой панели окна Findings selection. Сохраните файл.
Чтобы использовать или обновить существующий конфигурационный файл, в окне Findings selection, вводят полный путь в файл в обеспеченном поле или нажимают Browse.
Если вы устанавливаете опцию на from-file, включите Set checkers by file (-checkers-selection-file).
Эта опция доступна, только если вы устанавливаете Source code language (-lang) toc или C-CPP.
Параметр:
-iso-17961 |
Value:decidable | all | from-file |
Значение по умолчанию:
all |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - Ленг c - источники |