Drools基本语法学习详解编程语言

1、基本的匹配规则

1.1变量

drools使用匹配的方式对Fact进行比对，

程序源码如下：

account : Account(balance > 100)  

这个规则的含义就是在Fact中找到类型为Account，且balance属性值大于100的所有Account实例。

可以指定变量来描述一个类型或者一个映射一个类的属性，

程序源码如下：

$account : Account($type : type)  

使用$Variable来定义一个变量，这里定义了两个变量，$account表示定义一个类型为Account的变量，而$type映射Account类型中的type属性。定义变量是为了在后续的规则中使用。

程序源码如下：

$account : Account(balance >100)   

Customer(account == $account)  

这个就是说要找到一些Custom类型的Fact，且其account属性必须满足前面定义的balance>100的条件。

1.2类型

drools支持各种java数据类型

String：字符串

程序源码如下：

Customer(name == “john”)  

正则表达式：

程序源码如下：

Customer(name matches “[A-Z][a-z]+”)  

表示Customer类型的name属性必须满足首字母为大写A-Z，且第二位以后有一个或者多个小写的a-z组成。

Date：日期类型

程序源码如下：

Account(dateCreate > “01-Feb-2009”)  

日期的格式默认是”dd-mmmm-yyyy”，可以更改。

Boolean：布尔类型

程序源码如下：

Transaction(isApprove == true)  

Enum：枚举类型

程序源码如下：

Account(type == Account.Type.STUDENT)  

1.3注释

单行注释：//或者#

多行注释： /*   */

1.4包

程序源码如下：

package com.kingsun.drools.rules  

声明该规则文件所属的包，是一种namespace组织方式，和java的包类似，物理上不需要存在相应的目录结构，它只是逻辑上的划分。

1.5导入

import可以导入在规则中使用到的类，也可以导入在规则中使用到的外部定义的functiong

程序源码如下：

import java.util.Map;  

import com.kingsun.drools.service.LegacyBankService.extractData;  

当导入方法时，这个方法必须是static的，因为利用的是jdk1.5的static import特性。

1.6全局变量global

声明一个global变量

程序源码如下：

global ReportFactory reportFactory;  

给全局变量赋值

程序源码如下：

session.setGlobal(“reportFactory”, reportFactory);  

或者

程序源码如下：

List<Command> commands = new ArrayList<Command>();  

commmands.add(CommandFactory.newSetGlobal(“reportFactory”, reportFactory));  

使用全局变量

程序源码如下：

session.getGlobals();  

1.7函数Functions

function可以在规则文件中定义，但更多的是使用外部类中定义的static方法，这样只要java中可以实现的逻辑，在规则中都可以做为function调用。

调用外部类的functiong需要注意的是方法必须是静态的，static，而且这个类可以在Help辅助类中定义。

外部类需要import，此时在function中用到的参数类型也需要import。

如：在外部的ValidationHelper辅助类中定一个一个static方法

程序源码如下：

public static double calculateAccount(Account account) {  

    return 100 + account.balance * 1.2;  

}  

在规则drl文件中可以这么使用：

Drl代码

import com.kingsun.drools.domain.Account;  

import function com.kingsun.drools.util.ValidationHelper.calculateAccount;  

rule “validation account”  

    when  

        $account : Account(balance > 100)  

    then  

        Account(balance == calculateAccount($account));  

end

1.8方言dialect

在规则表达式中可以使用方言来简化表达式，使之更加具有可读性。

程序源码如下：

package com.kingsun.drools.rules;  

dialect “mvel”  

方言默认的是java，drools也支持mvel，在package的后面声明该规则文件使用的方言

mvel

mvel是一种基于java应用程序的表达式语言，它支持属性和方法的直接访问

简单属性表达式：

程序源码如下：

($customer.name == “john”) && (balance > 100)   

满足姓名为“john”，且balance必须大于100的customer

支持属性导航：

Bean属性导航    

程序源码如下：

$customer.address.postalCode = “123” 等同于 $customer.getAddress().setPostalCode(“123”)  

访问List数据结构      

程序源码如下：

$customer.accounts[3] 等同于 $customer.getAccounts(3)  

访问Map数据结构    

程序源码如下：

$customerMap[“123”] 等同于$customerMap.get[“123”]  

内置的List、Map和数组arrays

Map：创建一个AccountMap实例–>

程序源码如下：

[“001”, new Account(“001”), “002”, new Account(“002”)]  

等同于创建了一个Map，并向Map中put了两个entry。

List：创建一个List实例–>

程序源码如下：

[“001”, “002”, “003”]   

等同于创建了一个List，并向List中add了三个对象。

Arrays：创建一个数组–>

程序源码如下：

{“001”, “002”, “003”}  

等同于创建了一个Array，并初始化了三个成员。

嵌套使用这个可以方便的访问复杂对象中包括的集合类型的对象。      

程序源码如下：

listOfPostCode = (postCode in (addresses in $customerS))  

这个得到一个postCode列表，它是customers集合中的每一个custemer对象的地址属性中包含的postCode信息的汇集。

强制转换

当使用array = {1, 2, 3}时，mvel会自动将元素转换成integer类型。

返回值

保存变量的值等于最后一次赋予的值。

mvel同时还支持方法调用、控制流、赋值、动态类型等等，使用mvel的性能很好，不过要小心使用。在drools中有一些核心特性就是通过mvel来实现的。

1.9规则的条件部分

And与程序源码如下：

$customer :　Customer(name == “john”, age > 20)  

在condition中使用换行来表示与

OR或程序源码如下：

$customer :　Customer(name == “john” || age > 20)  

Not非程序源码如下：

not Account(type == Account.Type.STUDENT)

表示所有账户类型不是STUDENT的账户

exists存在程序源码如下：

exists Account(type == Account.Type.STUDENT)  

Eval

捕获异常，只要eval表达式中的结果为true或者false就可以

程序源码如下：

$account : Account()  

eval(accountService.isUniqueAccountNumber($account))  

返回值约束

程序源码如下：

$customer1 : Customer()  

Customer(age == ($customer.getAge + 10))  

内置eval

程序源码如下：

$customer1 : Customer()  

Customer(eval(age == $customer1.getAge() + 10))  

和上个例子一样，只是使用了内置的eval来写的。

内置eval不能使用this，：

程序源码如下：

$customer1 : Customer()  

$customer2 : Customer(this != $customer1)  

customer1和customer2不是同一个对象实例

使用内置的eval表达式来描述：

程序源码如下：

$customer1 : Customer()  

$customer2 : Customer(eval($customer2 != $customer1))  

注意，在内置的eval中不能使用this来指代自己。

嵌套访问程序源码如下：

$customer : Customer()  

Account(this == $customer.accounts[0])  

得到所有customer对象中的第一个账号

如果一个嵌套访问的对象属性值更改了，我们使用modify来提示drools属性改变了。

This

this指向当前的Fact

和集合相关的运算

contains程序源码如下：

$account : Account()  

$customer :　Customer(accounts contains $account)  

$customer : Customer(accounts not contains $account)  

memberof程序源码如下：

$customer : Customer($accounts : accounts)  

Account(this member of $accounts)  

或  

Account(this member of $customer.accounts)  

From程序源码如下：

$customer : Customer()  

Account() from $customer.accounts  

from可以接受service的方法调用后的结果集，也可以指向一个对象或者一个集合

1.10规则的推理部分

规则引擎的作用就是在于根据预先制定的规则去和事实匹配，对符合激发条件的规则，执行规则中定义的推理，作出相应的处理。

有时候，规则和规则之间存在冲突，drools使用冲突解决策略来解决矛盾。有两种办法：一个是设置规则的优先级，优先级高的先触发。另一个是

在推理部分不推荐使用if then这样的条件判断语句，它应该是明确的行为，因为条件判断应该在LHS中就已经明确区分出来了，如果推论部分存在条件判断的话，应该增加新的规则以满足要求。这样做符合最佳实践。

当一个规则被激活，并且推理部分被执行，它可能会对Fact做一些修改或者更新，这样的修改和更新可能会激活更多的其他规则，因此，必须在推论部分明确指出这个规则对Fact作出的更新和修改，Drools能够及时对Fact进行更新，这样其他规则才能及时应用到最新的Fact数据上来。

推论部分经常使用的几个函数

modify 修改

更新session中存在的Fact

程序源码如下：

rule “interst calculation”  

no-loop  

when   

    $account : Account()  

then  

    modify($account) {  

    setBalance((double)($account.getBalance() * 1.2))  

    };  

end

insert 插入

向session的Fact中新增一个事实

程序源码如下：

insert(new Account())  

retract 收回

从session的Fact中移除一个事实

程序源码如下：

retract(0)  

1.11规则的属性部分

规则属性出现在rule和when关键字之间，用于修改和增强标准的规则行为。

程序源码如下：

rule “rule attribute”  

salience 100  

dialect “mvel”  

no-loop  

when       

    //conditons条件部分  

then  

    //consquence推论部分  

end

转载请注明来源网站:blog.ytso.com谢谢！