一些基本概念

在开始独立研发公司自己的代码规范检查规则之前,先介绍一些相关的基本概念。阿里巴巴代码规范很多规则其实都是基于开源框架PMD进行的研发。PMD用官方的话语介绍来说:PMD是一个源代码分析器。它可以发现常见的编程缺陷,如未使用的变量、空catch块、不必要的对象创建等。它支持多种语言。它可以用自定义规则进行扩展。它使用JavaCC和Antlr将源文件解析为抽象语法树(AST),并对其运行规则以查找冲突。规则可以用Java编写,也可以使用XPath查询。开源代码库:https://github.com/pmd/pmd

这里涉及到一个很关键的概念——AST 抽象语法树(Abstract Syntax Tree)。AST运用场景其实非常多,日常我们研发过程中错误提示、代码高亮、代码格式化、代码转译等等实现的基础都基于AST。简单说,会通过词法分析和语法分析将代码转化成一种类似树样层次结构来进行描述,当然这种描述可以用XML格式。文字描述比较抽象,不妨看一个“Hello world”的具体AST语法树(Java 1.8),这样就很容易进行理解了。



另外一个概念XPath 是一门在XML 文档中查找信息的语言。本身和代码解析没有关系,但当AST通过XML格式描述时,XPath能够很好完成对相关节点进行查找。两者的结合就能进行违规代码的检查,这就是XPath规则代码规范检查基本原理。此外,与其配套的PMD-Designer规则可视化工具也很好用。

例如阿里巴巴代码规范中 PackageNamingRule 就是非常典型的XPath规则。包名只能由小写字母、数字来组成,具体的XPath:

private static final String XPATH = "//PackageDeclaration/Name"
+ "[not (matches(@Image, '^[a-z0-9]+(\\.[a-z][a-z0-9]*)*$'))]";

下面先写个规则的例子来感受下自定义规则具体的操作;从检查代码中System.out 类似的日志输出开始。

Example :检查代码中System.out 类似的日志输出。

步骤一,运用PMD-Designer 来辅助编写具体XPath的检查规则;这个工具也可以验证各种代码写法下,规则是否都能起到很好的作用。最终XPath 具体规则如下:

//Name[starts-with(@Image, 'System.out.print') or starts-with(@Image, 'System.err.print')]

步骤二,新建一个具体的规则类,继承AbstractXpathRule ;其中AbstractXpathRule 本身是继承 PMD 中 XPathRule,主要扩展了多语言的设计。详细如下:

package com.alibaba.p3c.pmd.lang.java.rule.emo;  
... import static net.sourceforge.pmd.lang.rule.xpath.XPathRuleQuery.XPATH_2_0;  
  
public class VoidSystemPrintRule extends AbstractXpathRule {  
    private static final String XPATH =  
            "//Name[starts-with(@Image, 'System.out.print') or starts-with(@Image, 'System.err.print')]";  
  
    public VoidSystemPrintRule() {  
        setXPath(XPATH);  
        setVersion(XPATH_2_0);  
    }  
  
    @Override  
    public void addViolation(Object data, Node node, String arg) {  
        ViolationUtils.addViolationWithPrecisePosition(this, node, data,  
                I18nResources.getMessage("java.naming.VoidSystemPrintRule.violation.msg", node.getImage()));  
    }  
}  

步骤三:在messages.xml 和 messages_en.xml 分别添加检查出错后给出相关中英文提示。

<entry key="java.naming.VoidSystemPrintRule.violation.msg">
<![CDATA[程序中避免直接使用 System 对相关日志信息输出]]>
</entry>
——
<entry key="java.naming.VoidSystemPrintRule.violation.msg">
<![CDATA[Avoid using system print]]>
</entry>

步骤四:新建emo-common.xml 的规则集合,并将实现的规则配置进去。

<ruleset name="AlibabaJavaNaming" xmlns="http://pmd.sourceforge.net/ruleset/2.0.0"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://pmd.sourceforge.net/ruleset/2.0.0 http://pmd.sourceforge.net/ruleset_2_0_0.xsd">
<description>EmoJavaCommonRule</description>
<rule name="VoidSystemPrintRule"
language="java"
since="1.6"
message="java.naming.VoidSystemPrintRule.violation.msg"
class="com.alibaba.p3c.pmd.lang.java.rule.emo.VoidSystemPrintRule">
<priority>3</priority>
<example>
<![CDATA[
System.out.println(message);
]]>
</example>
</rule>
</ruleset>

步骤五:在ali-pmd.xml 中引入我们新加的规则集合 emo-common.xml。

<rule ref="rulesets/java/emo-common.xml"/>

最后运行下修改完的代码程序,效果如下:





综述下关键点,代码规范检查基本原理可以基于AST语法树来进行实现;AST结合Xpath可以方便进行相关规范规则的编写;通过 PMD-Designer 能可视化的帮助我们实现 XPath 的相关代码规范规则以及验证相关规则;给出了一个例子,基于阿里开源代码规范插件源码,编写适用自己公司的代码规范的方式。

附上相关代码github链接:https://github.com/ariesfly/emo-coding-guardian

如有遇到问题欢迎公众号私信留言

最新文章

  1. linux NFS 配置步骤
  2. HttpUtil
  3. 从零开始学Python第一周:Python基础(上)
  4. a版本冲刺第九天
  5. gitlab 安装
  6. 理论基础知识之————KB Kb Kbps 相关单位的区别和换算
  7. JQuery 定时器 (Jquery Timer 插件)
  8. QT学习之路--深入了解信号槽
  9. CSS3_概述、发展史、模块介绍、与浏览器之间的关系
  10. Zepto,Zepto API 中文版,Zepto 中文手册,Zepto API,Zepto API 中文版,Zepto 中文手册,Zepto API 1.0, Zepto API 1.0 中文版,Zepto 1.0 中文手册,Zepto 1.0 API-translate by yaotaiyang
  11. crm使用soap删除实体
  12. 【算法功底】LeetCode 292 Nim Game
  13. java基础之集合篇
  14. linux小白成长之路1————通过Parallels安装CentOS虚拟机
  15. java实现Quartz定时功能
  16. C#如何发送邮件
  17. 004 使用SpringMVC开发restful API二--编写用户详情
  18. postMessage 实现跨源通信 iframe 跨域获取url
  19. 七、面向对象编程(OOP)
  20. C++ template —— 深入模板基础(二)

热门文章

  1. NewApiDay03_File类
  2. CF1705A Mark the Photographer 题解
  3. C#程序设计的6大原则
  4. python 执行需要管理员权限的命令(Windows)
  5. Docker非root用户使用
  6. 6.14 YZBOI模拟赛solution
  7. 故障案例 | 主从复制环境中tokudb引擎报错排查过程
  8. .NET CORE 读书笔记之与.NET Framework对比
  9. 2021年5月15日海外 Meetup 演讲内容分享
  10. Java反射原理和实际用法