clant

Rule 結(jié)構(gòu)是最重要的結(jié)構(gòu)。 Rule 使用了形如“ IF ” something “ THEN ” action （當(dāng)然，我們的關(guān)鍵字是“ when ”和“ then ”）的形式。

一個規(guī)則在一個 package 中必須要有唯一的名字。如果一個名字中含有空格，那就需要將名字放在雙引號中（最好總是使用雙引號）。

Attribute 是可選的（最好是每行只有一個 Attribute ）。

規(guī)則的 LHS 跟在“ when ”關(guān)鍵字的后面（最好是另起一行），同樣 RHS 要跟在“ then ”關(guān)鍵字后面（最好也另起一行）。規(guī)則以關(guān)鍵字“ end ”結(jié)束。規(guī)則不能嵌套。

5.1 Left Hand Side

Left Hand Side 其實(shí)就是規(guī)則的條件部分。 LHS 對應(yīng)的 rail-road 圖如下，我們在后面會做進(jìn)一步解釋：

5.2 Right Hand Side

Right Hand Side （ RHS ）就是規(guī)則的結(jié)果（ consequence ）或者動作（ action ）部分。 RHS 的目的是 retract 或 add facts 到 WorkingMemory 中，還有針對你的 application 的動作。實(shí)際上， RHS 是當(dāng)規(guī)則激發(fā)（ fire ）時執(zhí)行的代碼塊。

在 RHS 中，你可以使用幾個方便的 method 來改變 WorkingMemory ：

“ modify(obj) ”：告訴引擎一個對象已經(jīng)發(fā)生變化，規(guī)則必須重新匹配（ obj 對象必須是出現(xiàn)在 LHS 中的對象）；

“ assert(new Something()) ”：將一個新的 Something 對象加入 WorkingMemory ；

“ assertLogical(new Something()) ”：與 assert 方法類似。但是，當(dāng)沒有 fact 支持當(dāng)前激發(fā)規(guī)則的真實(shí)性的時候，這個新對象會自動被 retract ，

“ retract(obj) ”：從 WorkingMemory 中移除一個對象。

這些方法都是宏指令，提供了到 KnowledgeHelper 實(shí)例的快捷方式（參考 KnowledgeHelper 接口）。 KnowledgeHelper 接口可以在 RHS 代碼塊中調(diào)用，通過變量“ drools ”。如果你在 assert 進(jìn)引擎的 JavaBean 中加入“ Property Change Listener ”，在對象發(fā)生變化的時候，你就不用調(diào)用“ modify ”方法。

5.3 Rule Attributes

5.3.1 no-loop

默認(rèn)值： false

類型： boolean

當(dāng)在 rule 的 RHS 中修改了一個 fact ，這可能引起這個 rule 再次被 activate ，引起遞歸。將 no-loop 設(shè)為 true ，就可以防止這個 rule 的 Activation 的再次被創(chuàng)建。

5.3.2 salience

默認(rèn)值： 0

類型： int

每個 rule 都可以設(shè)置一個 salience 整數(shù)值，默認(rèn)為 0 ，可以設(shè)為正整數(shù)或負(fù)整數(shù)。 Salience 是優(yōu)先級的一種形式。當(dāng)處于 Activation 隊(duì)列中時，擁有高 salience 值的 rule 將具有更高的優(yōu)先級。

5.3.3 agenda-group

默認(rèn)值： MAIN

類型： String

Agenda group 允許用戶對 Agenda 進(jìn)行分組，以提供更多的執(zhí)行控制。只有具有焦點(diǎn)的組中的 Activation 才會被激發(fā)（ fire ）。

5.3.4 auto-focus

默認(rèn)值： false

類型： boolean

當(dāng)一個規(guī)則被 activate （即 Activation 被創(chuàng)建了），如果這個 rule 的 auto-focus 值為 true 并且這個 rule 的 agenda-group 沒有焦點(diǎn)，此時這個 Activation 會被給予焦點(diǎn)，允許這個 Activation 有 fire 的潛在可能。

5.3.5 activation-group

默認(rèn)值： N/A

類型： String

當(dāng)處于同一個 activation-group 中的第一個 Activation fire 后，這個 activation-group 中其余剩下的 Activation 都不會被 fire 。

5.3.6 duration

默認(rèn)值：沒有默認(rèn)值

類型： long

5.4 Column

Example?5.1.?Column

Cheese(?)
Cheese(?type? == ? " stilton " ,?price? < ? 10 ?)

一個 Column 由一個類的一個或多個域約束構(gòu)成。第一個例子沒有約束，它將匹配 WorkingMemory 中所有的 Cheese 實(shí)例。第二個例子對于一個 Cheese 對象有兩個字面約束（ Literal Constraints ），它們被用“，”號隔開，意味著“ and ”。

Example?5.2.?Bound Column

cheapStilton?:?Cheese(?type? == ? " stilton " ,?price? < ? 10 ?)

<!--[if !supportEmptyParas]--> <!--[endif]-->

這個例子同前一個例子有點(diǎn)類似。但是在這個例子中，我們將一個變量綁定到匹配規(guī)則引擎的 Cheese 實(shí)例上。這意味著，你可以在另一個條件中使用 cheapStilton ，或者在 rule 的 RHS 中。

5.4.1 Field Constraints

Field Constraints 使規(guī)則引擎可以從 WorkingMemory 中挑選出合適的 Fact 對象。一個 Fact 的“ Field ”必須符合 JavaBean 規(guī)范，提供了訪問 field 的 getter 方法。你可以使用 field 的名字直接訪問 field ，或者使用完整的方法名（省略括號）。

例如，以我們的 Chess 類為例，下面是等價的： Cheese(type = = …) 和 Cheese(getType = = …) 。這意味著，你可以使用不太嚴(yán)格遵守 JavaBean 規(guī)范對象。盡管如此，你要保證 accessor 方法是不帶參數(shù)的，以保證它不會改變對象的狀態(tài)。

注意：如果一個 field 使用原始類型（ primitive type ）， Drools 將會把它們自動裝箱成相應(yīng)的對象（即使你使用 java 1.4 ），但是在 java 1.4 下卻不能自動拆箱。總的來說，盡量在 rule 所使用的類中，使用非原始類型的域。如果是使用 java 5 ，就可以比較隨意了，因?yàn)榫幾g器會幫你執(zhí)行自動裝拆箱。

5.4.1.1 Operators

有效的操作符是同域類型相關(guān)的。例如，對于日期域，“ < ”意味著“之前”。“ matches ”只適用于 String 域，“ contains ”和“ excludes ”只適用于 Collection 類型域。

5.4.1.2 字面值約束（ Literal Constraints ）

最簡單的域約束就是字面值約束，允許用戶將一個 field 約束于一個已知值。

注意：你可以檢查域是否為 null ，使用 = = 或 != 操作符和字面值‘ null ’關(guān)鍵字。如， Cheese(type != null) 。字面值約束，特別是“ = = ”操作符，提供了非?？斓膱?zhí)行速度，因?yàn)榭梢允褂蒙⒘蟹▉硖岣咝阅堋?/span>

Numeric

所有標(biāo)準(zhǔn)的 Java 數(shù)字基本類型都可以用。

有效操作符：

<!--[if !supportLists]--> ·???????? <!--[endif]--> ==

<!--[if !supportLists]--> ·???????? <!--[endif]--> !=

<!--[if !supportLists]--> ·???????? <!--[endif]--> >

<!--[if !supportLists]--> ·???????? <!--[endif]--> <

<!--[if !supportLists]--> ·???????? <!--[endif]--> >=

<!--[if !supportLists]--> ·???????? <!--[endif]--> <=

Example?5.3 .?Numeric Literal Constraint

Cheese(?quantity? == ? 5 ?)

Date

當(dāng)前只對“ dd-mm-yyyy ”的日期格式提供默認(rèn)支持。你可以通過指定 drools.dateformat 系統(tǒng)屬性，來改變默認(rèn)的日期格式。如果需要更多的控制，要用謂詞約束（ Predicate Constraint ）。

有效操作符：

<!--[if !supportLists]--> ·???????? <!--[endif]--> ==

<!--[if !supportLists]--> ·???????? <!--[endif]--> !=

<!--[if !supportLists]--> ·???????? <!--[endif]--> >

<!--[if !supportLists]--> ·???????? <!--[endif]--> <

<!--[if !supportLists]--> ·???????? <!--[endif]--> >=

<!--[if !supportLists]--> ·???????? <!--[endif]--> <=

Example?5.4.?Date Literal Constraint

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

String

可以使用任何有效的 Java String 。

有效操作符：

<!--[if !supportLists]--> ·???????? <!--[endif]--> ==

<!--[if !supportLists]--> ·???????? <!--[endif]--> !=

Example?5.5.?String Literal Constraint

Cheese(?type? == ? " stilton " ?)

Boolean

只能用 “ true ”或“ false ”。 0 和 1 不能被識別，而且 Cheese(smelly) 也是不被允許的。

有效操作符：

<!--[if !supportLists]--> ·???????? <!--[endif]--> ==

<!--[if !supportLists]--> ·???????? <!--[endif]--> !=

Example?5.6?Boolean Literal Constraint

Cheese(?smelly? = ? = ? true ?)

Matches Operator

Matches 操作符后面可以跟任何有效的 Java 正則表達(dá)式。

Example?5.7.?Regular Expression Constraint

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

Contains Operator and Excludes Operator

“ contains ”和“ excludes ”可以用來檢查一個 Collection 域是否含有一個對象。

Example?5.8.?Literal Cosntraints with Collections