规则表达式文法

1、背景

想写一个groovy规则表达式引擎。已经解决了groovy的脚本部分，但是在多脚本联合执行的时候，多个表达式的计算就变成一个难点了。

2、案例

例如，编写一个订购权限校验的引擎，即满足条件的用户才能对商品进行订购。
简单用伪代码的性质表示即：

public boolean checkPermission(){    if(userId==121212L){        return false;//不能订购    }    return true;//可以订购}

那么可以编写groovy脚本

if(userId==121212L){        return false;//不能订购    }    return true;//可以订购

那么可以配置groovy脚本，key=checkPermission。

3、问题

问题来了，一个规则配置上去很简单，执行也非常简单。但是如果存在多个表达的时候，就变得非常复杂了。例如，存在一个规则为：
用户有购买权限，并且用户订购的时间不是周末，或者指定商品没有校验，都可以订购。
用伪代码就如下所示：

if((用户有购买权限 && 用户订购的时间不是周末) || 指定商品){    return true;}return false

这个时候就麻烦了，单独执行每个表达式很简单，但是如何执行（用户有购买权限 && 用户订购的时间不是周末) || 指定商品）这一串代码就非常复杂了。

4、解决方案

毕竟要解决问题，想了很多方案。
①使用正则表达式，将表达式组里的表达式匹配出来，再进行执行。
后面发现，这个正则写法会很难，而且没有拓展性。

②编译文法
使用编译文法很容易就能够匹配出来，折腾了一个下午，终于能够顺利的把表达式组的内容全部解析出来。
1、环境安装

OS X$ cd /usr/local/lib$ sudo curl -O http://www.antlr.org/download/antlr-4.7-complete.jar$ export CLASSPATH=".:/usr/local/lib/antlr-4.7-complete.jar:$CLASSPATH"$ alias antlr4='java -jar /usr/local/lib/antlr-4.7-complete.jar'$ alias grun='java org.antlr.v4.gui.TestRig'

2、文法编写

grammar Expr;       prog:   (expr NEWLINE)* ;expr:   expr (' && ') expr    |   expr (' || ') expr    |   INT    |   '(' expr ')'    ;NEWLINE : [\r\n]+ ;INT     : [A-Za-z]+;

以上就是表达式组的规则

3、输出表达式

import org.antlr.v4.runtime.ANTLRInputStream;import org.antlr.v4.runtime.CommonTokenStream;import org.antlr.v4.runtime.tree.ParseTree;import org.antlr.v4.runtime.tree.Tree;/** * Created by jianghuiwen on 17/5/8. */public class MainTest {    public static void main(String[] args){        ANTLRInputStream in = new ANTLRInputStream("((jiang || hui) && test) ** todo\n");        ExprLexer lexer = new ExprLexer(in);        CommonTokenStream tokens = new CommonTokenStream(lexer);        ExprParser parser = new ExprParser(tokens);        ExprParser.ProgContext ret = parser.prog();        for(int i = 0;i<ret.getChildCount();i++){            ParseTree parseTree = ret.getChild(i);            printTree(parseTree);        }    }    public static void printTree(ParseTree root){        if(root.getText().equals(" || ") || root.getText().equals("(")                || root.getText().equals(")") ||root.getText().equals(" && ") ){            return;        }        if(root.getChildCount()>0){            for(int i=0;i<root.getChildCount();i++){                printTree(root.getChild(i));            }        }else{            System.out.println(root.getText());        }    }}

4、输出结果

如上图所示，就把表达式组的表达式全部输出了。然后单独执行出结果，最后再做一个合并运算，就可以得出整个表达式组的值了。

5、拓展

上述还是有很多问题的，比如，无法传递参数，那么参数这个问题也要解决，很多规则校验都需要从外部传递参数进来的，这个后续再考虑