clant

Rule 結構是最重要的結構。 Rule 使用了形如“ IF ” something “ THEN ” action （當然，我們的關鍵字是“ when ”和“ then ”）的形式。

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

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

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

5.1 Left Hand Side

Left Hand Side 其實就是規則的條件部分。 LHS 對應的 rail-road 圖如下，我們在后面會做進一步解釋：

5.2 Right Hand Side

Right Hand Side （ RHS ）就是規則的結果（ consequence ）或者動作（ action ）部分。 RHS 的目的是 retract 或 add facts 到 WorkingMemory 中，還有針對你的 application 的動作。實際上， RHS 是當規則激發（ fire ）時執行的代碼塊。

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

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

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

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

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

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

5.3 Rule Attributes

5.3.1 no-loop

默認值： false

類型： boolean

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

5.3.2 salience

默認值： 0

類型： int

每個 rule 都可以設置一個 salience 整數值，默認為 0 ，可以設為正整數或負整數。 Salience 是優先級的一種形式。當處于 Activation 隊列中時，擁有高 salience 值的 rule 將具有更高的優先級。

5.3.3 agenda-group

默認值： MAIN

類型： String

Agenda group 允許用戶對 Agenda 進行分組，以提供更多的執行控制。只有具有焦點的組中的 Activation 才會被激發（ fire ）。

5.3.4 auto-focus

默認值： false

類型： boolean

當一個規則被 activate （即 Activation 被創建了），如果這個 rule 的 auto-focus 值為 true 并且這個 rule 的 agenda-group 沒有焦點，此時這個 Activation 會被給予焦點，允許這個 Activation 有 fire 的潛在可能。

5.3.5 activation-group

默認值： N/A

類型： String

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

5.3.6 duration

默認值：沒有默認值

類型： long

5.4 Column

Example?5.1.?Column

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

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

Example?5.2.?Bound Column

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

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

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

5.4.1 Field Constraints

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

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

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

5.4.1.1 Operators

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

5.4.1.2 字面值約束（ Literal Constraints ）

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

注意：你可以檢查域是否為 null ，使用 = = 或 != 操作符和字面值‘ null ’關鍵字。如， Cheese(type != null) 。字面值約束，特別是“ = = ”操作符，提供了非常快的執行速度，因為可以使用散列法來提高性能。

Numeric

所有標準的 Java 數字基本類型都可以用。

有效操作符：

<!--[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

當前只對“ dd-mm-yyyy ”的日期格式提供默認支持。你可以通過指定 drools.dateformat 系統屬性，來改變默認的日期格式。如果需要更多的控制，要用謂詞約束（ 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 正則表達式。

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