DROOLS语法详解

一个典型的DRL文件：

①package com.sample   //包名，不可以与关键字冲突

②import com.sample.DroolsTest.Message;//本文件需要导入的类

③global java.util.List myGlobalList;//全局变量

④//定义函数体

function String hello(String name) {

    return "Hello "+name+"!";

}

 

⑤rule "myRule"  

no-loop true  //执行一次后，是否能被再次激活

salience 100  //优先级别

⑥when  

m : Message( status == Message.HELLO, message : message ) 

⑦then    

m.setMessage( "Goodbye cruel world" );

       m.setStatus( Message.GOODBYE );

       update( m );

    myGlobalList.add( "Hello World" );//使用global 变量

    System.out.println( hello( "Bob" ) );//调用定义函数

End

 

 

①package com.sample

包名，不可以与关键字冲突。一个包通过名称空间描绘，这样很好的保持了一组规则的独立性。

②import

标记就像java中的含义一样。对于任何要用在规则中的对象，你需要指定完整的路径和类型名。Drools从同名的java包中自动导入类。

③global

如果多个包定义了同样名称的全局变量，它们必须使用同样的类型，并且全部指向同一个全局值。全部变量通常用来返回数据，获得提供数据或服务给规则使用。为了使用全局变量，你必须：

在规则文件中声明全局变量并使用它，如：

global java.util.List myGlobalList;

rule "Using a global"

when

    eval( true )

then

    myGlobalList.add( "Hello World" );

end

在working memory上设置全局变量的值。最好是在将fact插入working memory之前设置完所有全局变量，如：

List list = new ArrayList();

WorkingMemory wm = rulebase.newStatefulSession();

wm.setGlobal( "myGlobalList", list );

④function

相对于正常的java类，函数是在你的规则代码中放置语言代码的方法。它们不可能做任何超过你可以在帮助类（在java中定义，被设置入规则的Working Memory中的类）中做到的事情。使用函数的优点是可以将逻辑保存在一个地方，并且你可以在需要的时候改变函数（这样做各有优缺点）。函数最大的用处是被规则的推论（then）部分中的行为所调用，特别是当一个行为操作需要反复被调用时（将公用代码抽取出来成为一个函数）。

⑤rule 名称可以在“”下取任何名字。

属性列表：

属性	类型	默认值	功能描述
no-loop	Boolean	false	设置no-loop为true可以阻止该规则被再次激活。
salience	integer	0	优先级数字高的规则会比优先级低的规则先执行。
agenda-group	String	MAIN	只有在具有焦点的agenda group中的规则才能够激发。
auto-focus	Boolean	false	如果该规则符合激活条件，则该规则所在agenda-group自动获得焦点，允许规则激发。
activation-group	String	N/A	在同名activation-group中的规则将以互斥的方式激发
dialect	String	"java" or "mvel"	指定在LHS代码表达式或RHS代码块中使用的语言。
date-effective	String, 包含日期/时间定义	N/A	规则只能在date-effective指定的日期和时间之后激活。
date-exptires	String, 包含日期/时间定义	N/A	如果当前时间在date-expires指定的时间之后，规则不能激活。
duration	long	N/A	指出规则将在指定的一段时间后激发，如果那个时候规则的激活条件还是处于true的情况下。

⑥  LHS (when) 条件元素

为了能够引用匹配的对象，使用一个模式绑定变量如‘$c’。变量的前缀使用的$是可选的，但是在复杂的规则中它会很方便用来区别变量与字段的不同。

$c : Cheese( type == "stilton", price < 10, age == "mature" )

&& 和|| 约束连接符

Cheese( type == "stilton" && price < 10, age == "mature" )

Cheese( type == "stilton" || price < 10, age == "mature" )

第一个有两个约束而第二个组有一个约束，可以通过圆括号来改变求值的顺序。

单值约束

Matches 操作

Cheese( type matches "(Buffalo)?\S*Mozerella" )

Cheese( type not matches "(Buffulo)?\S*Mozerella" )

Contains 操作

CheeseCounter( cheeses contains "stilton" )

CheeseCounter( cheeses not contains "cheddar" )

memberof操作

CheeseCounter( cheese memberof $matureCheeses )

CheeseCounter( cheese not memberof $matureCheeses )

字符串约束

字符串约束是最简单的约束格式，将字段与指定的字符串求值：数值，日期，string或者boolean。

Cheese( quantity == 5 )

Cheese( bestBefore < "27-Oct-2007" )

Cheese( type == "stilton" )

Cheese( smelly == true )

绑定变量约束

变量可以绑定到Fact和它们的字段，然后在后面的字段约束中使用。绑定变量被称为声明。有效的操作符由被约束的字段类型决定；在那里会进行强制转换。绑定变量约束使用'=='操作符，因为能够使用hash索引，因此提供非常快的执行速度。

Person( likes : favouriteCheese )

Cheese( type == likes )

返回值约束

返回值约束可以使用任何有效的Java元数据类型或对象。要避免使用任何Drools关键字作为声明标识。在返回值约束中使用的函数必须返回静态常量（time constant）结果。之前声明的绑定可以用在表达式中。

Person( girlAge : age, sex == "F" )

Person( age == ( girlAge + 2) ), sex == 'M' )

复合值约束

复合值约束用在可能有多个允许值的时候，当前只支持'in' 和'not in'两个操作。这些操作使用圆括号包含用逗号分开的值的列表，它可以是变量，字符串，返回值或限定标识符。'in' 和'not in'运算式实际上被语法分析器重写成多个!= and ==组成的多重约束。

Person( $cheese : favouriteCheese )

Cheese( type in ( "stilton", "cheddar", $cheese )

多重约束

多重约束允许你对一个字段通过使用'&&' 或者'||'约束连接符进行多个约束条件的判断。允许使用圆括号分组，它会让这种约束看起来更自然。

Person( age ( (> 30 && < 40) || (> 20 && < 25) ) )

Person( age > 30 && < 40 || location == "london" )

内联的Eval约束

eval约束可以使用任何有效的语言表达式，只要它最终能被求值为boolean元数据类型。表达式必须是静态常量（time constant）。任何在当前模式之前定义的变量都可以使用，自动代入（autovivification）机制用来自动建立字段绑定变量。当构建器发现标识不是当前定义的变量名是，它将尝试将它作为对象的字段来访问，这种情况下，构建器自动在inline-eval中建立该字段的同名变量。

Person( girlAge : age, sex = "F" )

Person( eval( girlAge == boyAge + 2 ), sex = 'M' )

 

⑦RHS (then) 执行操作

这部分应当包含一系列需要执行的操作。规则的RHS部分应该保持简短的，这保持它是声明性和可读性的。如果你发现你需要在RHS中使用命令式或and/or条件代码，那你可能需要将规则拆分为多个规则。RHS的主要目的是插入，删除修改working memory数据。

"update(object, handle);" 将告诉引擎对象已经改变（已经被绑定到LHS中的那一个），并且规则需要重新检查。

"insert(new Something());" 将在working memory中放置一个你新建的对象。

"insertLogical(new Something());" 与insert类似，但是当没有更多的fact支持当前激发规则的真值状态时，对象自动删除。

"retract(handle);" removes an object from working memory.

⑧ Query

查询中仅仅包含规则LHS部分的结构（不用指定when或then）。它提供了查询working memory 中符合约束条件的对象的一个简单办法。

query "people over the age of 30"

    person : Person( age > 30 )

end

通过在返回的查询结果(QueryResults)上进行标准的for循环遍历，每一行将返回一个QueryResult，该对象可以用来存取组元中的每一个Column。这些Column可以通过声明的名称或索引位置存取。

QueryResults results = workingMemory.getQueryResults( "people over the age of 30" );

for ( Iterator it = results.iterator; it.hasNext(); ) {

    QueryResult result = ( QueryResult ) it.next();

    Person person = ( Person ) result.get( "person" );

    }