Почему использование эта опция

Если у вас есть существующие аннотации от предыдущих рассмотрений кода, можно импортировать эти аннотации к Polyspace. Вы не должны рассмотреть и выровнять по ширине результаты, которые вы уже аннотировали. Точно так же, если ваши комментарии к коду должны придерживаться определенного формата, можно сопоставить и импортировать тот формат к Polyspace.

Импортируйте существующие аннотации для кодирования нарушений правила

Предположим, что вы ранее рассмотрели исходный файл zero_div.c содержа следующий код и выровненный по ширине определенный MISRA C^®: 2 012 нарушений при помощи пользовательских аннотаций.

#include <stdio.h>

/* Violation of Misra C:2012 
rules 8.4 and 8.7 on the next
line of code. */

int func(int p) //My_rule 50, 51
{	
    int i;
    int j = 1;

    i = 1024 / (j - p); 
    return i;
}

/* Violation of Misra C:2012 
rule 8.4 on the next line of 
code */

int main(void){ //My_rule 50
	int x=func(2);
	return x; 
}

Комментарии к коду My_rule 50, 51 и My_rule 50 не используйте синтаксис аннотации Polyspace. Вместо этого вы используете соглашение, куда вы помещаете все правила MISRA в один пронумерованный список. В этом списке правила 8.4 и 8.7 соответствуют числам 50 и 51. Можно проверять этот код на MISRA C: 2 012 нарушений путем ввода команды:

source_path путь к zero_div.c.

Аннотируемые нарушения появляются в панели Results List. Необходимо рассмотреть и выровнять по ширине их снова.

Этот пример XML задает формат аннотации, используемый в zero_div.c и карты это к синтаксису аннотации Polyspace:

<?xml version="1.0" encoding="UTF-8"?>

<Annotations xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
             xsi:noNamespaceSchemaLocation="annotations_xml_schema.xsd"
             Group="example annotation">
			 
  <Expressions Search_For_Keywords="My_rule"
			  Separator_Result_Name="," >
			  
								
	<!-- This section defines the annotation syntax format -->		  
   <Expression Mode="SAME_LINE"
               Regex="My_rule\s(\w+(\s*,\s*\w+)*)"
               Rule_Identifier_Position="1"
               />
			   
 </Expressions>
  <!-- This section maps the user annotation to the Polyspace
  annotation syntax -->
 <Mapping>
    <Result_Name_Mapping  Rule_Identifier="50" Family="MISRA-C3" Result_Name="8.4"/>
	<Result_Name_Mapping  Rule_Identifier="51" Family="MISRA-C3" Result_Name="8.7"/>
   </Mapping>
</Annotations>

Импортировать существующие аннотации и применять их к соответствующим результатам Polyspace:

Polyspace считает аннотируемые результаты выровненными по ширине и скрывает их в панели Results List.