sitelogo
PrologからToolkitへの変換
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

Xtoolkit側では、リソース値はXtSetVaklues()のようなXtルーチンによって取り扱われた時に特別な型(XtArgVal)にキャスト(変換)されます。IF/Prologからリソースを設定する場合にも同様の変換が必要になります。PrologからXtoolkitへの変換を行なうコンバータは、IF/PrologのTERMを入力として受け取り、変換したりリソース値をXtArgValとして返します。

void FromPrologToToolkitConverter(term, arg_val) Term term; XtArgVal *arg_val;

コンバータが呼び出された時点で、termのProlog型はリソーステーブルIFXtResourceTable[]を参照して決定されます。(対応するリソースの4番目の項目)。以下のうちのいずれかになります。

ArgAtom Prologのアトム ArgInteger Prologの整数 ArgFloat Prologの倍精度浮動小数 ArgList Prologのリスト ArgAtomOrList Prologのアトムあるいはリスト ArgStruct Prologの複合項

変換手続きでは、引き渡されたProlog表現に対応するリソース値を計算してそれをXtArgVal()にキャストし、それを出力パラメータarg_valに渡さなければなりません。

リソースの計算は、PrologからCへの変換、メモリの割り当て、Xlib関数の呼び出しによるXリソースの作成などのアクションから成っています。

変換が失敗した場合には、グローバル変数IFXtErrorがエラーを表示する文字列、通常は"illegal_<type>_resources"に設定されなければなりません。変換ルーチンがすでに呼び出された後にIFXtErrorが設定された場合には、そのエラー文字列と共に例外処理が引き起こされます。

例題: 型"Dimension"のリソースに対するコンバータ

void IFXtPTCvtDimension(value, arg_val) TERM value; XtArgVal *arg_val; { *arg_val = (XtArgVal) IntPC(value); }


戻る 続く..
冒頭へ managed with ubiCMS