next up previous contents index
Next: 要素の意味と構文 Up: 標準コーチ言語 Previous: メッセージタイプの概要   Contents   Index


ルールの定義

ルールの定義はCLangにおいて重要な部分である. この節では,ルール定義についてより詳細に解説する. ルールは条件と行動を含む指示のリストから構成されることを覚えておくこと.

上記のように,ルール定義のフォーマットは(definerule DEFINE_RULE)であり,以下の要素を用いる:

<DEFINE_RULE> : <CLANG_VAR> model <RULE>
              | <CLANG_VAR> direc <RULE>

<RULE> : (<CONDITION> <DIRECTIVE_LIST>)
       | (<CONDITION> <RULE_LIST>)
       | <ID_LIST>

各ルールはCLANG_VARの定義に沿う名前を割り当てられる. 更に,ルールには二つのモードのいずれかを指定できる. modelは観察された振舞いを記述するルールを定義し, direcは特定の条件で実行する指示を定義する.

実際のルール内容の指定にはいくつかの方法がある:



Hidehisa Akiyama 2004-11-21