58、代码注解与质量评估：Polyspace 实用指南

代码注解与质量评估：Polyspace 实用指南

1. 定义多个自定义注解语法

在 XML 文件中定义多个注解语法时，需要在 Search_For_Keywords 属性中指定与每个语法关联的关键字，关键字之间用逗号分隔。

1.1 示例代码

以下是一个示例，展示了如何使用自定义注解来标注违反 MISRA C:2012 规则的情况：

int func(int p) //customSyntax M123 $ customSyntax M124
{    
    int i;
    int j = 1;
    i = 1024 / (j - p); 
    return i;
}
int func2(void){ //otherCustomSyntax 50
    int x=func(2);
    return x; 
}

1.2 XML 文件配置

在 XML 文件中定义自定义注解语法时，输入以下内容：

<?xml version="1.0" encoding="UTF-8"?>
<Annotations xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
             xsi:noNamespaceSchemaLocation="annotations_xml_schema.xsd"
             Group="multipleCu