clant

<!--[if !supportLists]--> 1．? <!--[endif]--> 概述：

Drools 3 采用了原生的規(guī)則語言，那是一種非 XML 文本格式。在符號(hào)方面，這種格式是非常輕量的，并且通過“ expanders ”支持符合你問題域的 Domain Specific Language （ DSL ）。這一章把焦點(diǎn)放在了 Drools 原生的規(guī)則格式。如果你想從技術(shù)上了解規(guī)則語言的機(jī)制，可以參考“ drl.g ”源文件，這是用 Antlr3 語法來描述規(guī)則語言。如果你使用 Rule Workbench ，內(nèi)容助手將會(huì)為你完成大量的規(guī)則結(jié)構(gòu)，例如輸入“ ru ”，然后按 ctrl ＋ space ，會(huì)為你建立規(guī)則結(jié)構(gòu)。

<!--[if !supportLists]--> 1.1??? <!--[endif]--> 規(guī)則文件

一個(gè)規(guī)則文件通常是一個(gè)以 .drl 擴(kuò)展名結(jié)尾的文件。在一個(gè) drl 文件中，你可以有多條 rules ， functions 等等。盡管如此，你也可以將你的規(guī)則分布在多個(gè)文件中，這有利于管理大量的規(guī)則。一個(gè) DRL 文件是一個(gè)簡單的文本文件。

1.2 規(guī)則的結(jié)構(gòu)

一個(gè)規(guī)則結(jié)構(gòu)大致如下：

可以看到，這是非常簡單的。通常的標(biāo)點(diǎn)符號(hào)都是不需要的，甚至連“ name ”的雙引號(hào)都是不需要的。 ATTRIBUTES 是簡單的，也是可選的，來提示規(guī)則的行為方式。 LHS 是規(guī)則的條件部分，需要按照一定的語法來寫。 RHS 基本上是一個(gè)允許執(zhí)行 Java 語法的代碼的塊（以后將會(huì)支持 groovy 和 C ＃）。任何在 LHS 中使用的變量都可以在 RHS 中使用。

注意：每行開始的空格是不重要的，除非在 DSL （ Domain Specific Language ）語言中有特別的指明。

<!--[if !supportLists]--> 1.3?? <!--[endif]--> Domain Specific Language

Domain Specific Language 是對(duì)原生規(guī)則語言的加強(qiáng)。它們使用“ expander ”機(jī)制。 Expander 機(jī)制是一種可擴(kuò)展的 API 。你可以使用 .dsl 文件，來提供從域或自然語言到規(guī)則語言和你的域?qū)ο蟮挠成洹Ｄ憧梢詫?/span> .dsl 文件看成是對(duì)你的域模型的映射。 DSL 提供了更高的規(guī)則可讀性，你可以選擇使用你自己創(chuàng)建的 DSL ，或者是原生的規(guī)則語言。

1.4 保留字

在規(guī)則語言中存在一些保留字。你應(yīng)該避免使用這些保留字，來命名規(guī)則文本中的域?qū)ο螅瑢傩裕椒ǎδ堋１Ａ糇秩缦拢?/span> when ， then ， rule ， end ， contains ， matches ， and ， or ， modify ， retract ， assert ， salience ， function ， query ， exists ， eval ， agenda-group ， no-loop ， duration ， -> ， not ， auto-focus 。

<!--[if !supportLists]--> 2. ? <!--[endif]--> 注釋

2.1 單行注釋：

Figure?2.1.?Single line comment

<!--[if !supportLists]-->

3. ??? <!--[endif]--> Package

一個(gè)包是 rule 和其他相關(guān)結(jié)構(gòu)，像 import 和 global 的集合。 Package 的成員之間通常都是相關(guān)聯(lián)的。一個(gè) Package 代表了一個(gè)命名空間（ namespace ），用來使給定的規(guī)則組之間保持唯一性。 Package 的名字本身就是命名空間，并且與文件或文件夾并無關(guān)聯(lián)。

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

可以將來自不同規(guī)則源的規(guī)則裝配在一起，前提是這些規(guī)則必須處在同一個(gè)命名空間中。盡管如此，一個(gè)通常的結(jié)構(gòu)是將處于同一個(gè)命名空間中的所有規(guī)則都放在同一個(gè)相同的文件中。

下面的 rail-road 圖顯示了組成一個(gè) Package 的所有組件。注意：一個(gè) package 必須有一個(gè)命名空間，并且采用 Java 包名的約定。在一個(gè)規(guī)則文件中，各組件出現(xiàn)的位置是任意的，除了“ package ”和“ expander ”語句必須出現(xiàn)在任何一個(gè)規(guī)則之前，放在文件的頂部。在任何情況下，分號(hào)都是可選的。

3.1 import

Global 就是全局變量。如果多個(gè) package 聲明了具有相同標(biāo)識(shí)符的 global ，那么它們必需是相同的類型，并且所有的引用都是相同的。它們通常用來返回?cái)?shù)據(jù)，比如 actions 的日志，或者為 rules 提供所需的數(shù)據(jù)或服務(wù)。 global 并不是通過 assert 動(dòng)作放入 WorkingMemory 的，所有當(dāng) global 發(fā)生改變時(shí)，引擎將不會(huì)知道。所以， global 不能作為約束條件，除非它們的值是 final 的。將 global 錯(cuò)誤的使用在約束條件中，會(huì)產(chǎn)生令人驚訝的錯(cuò)誤結(jié)果。

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

注意： global 只是從你的 application 中傳入 WorkingMemory 的對(duì)象的命名實(shí)例。這意味著你可以傳入任何你想要的對(duì)象。你可以傳入一個(gè) service locator ，或者是一個(gè) service 本身。

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

下面的例子中，有一個(gè) EmailService 的實(shí)例。在你調(diào)用規(guī)則引擎的代碼中，你有一個(gè) EmailService 對(duì)象，然后把它放入 WorkingMemory 。在 DRL 文件中，你聲明了一個(gè)類型為 EmailService 的 global ，然后將它命名為“ email ”，像這樣： global EmailService email ；。然后在你的規(guī)則的 RHS 中，你可以使用它，像這樣： email.sendSMS(number,message) 等等。

4. Function