xtAddInput(+InputName, +FileDescriptor, +InputCondition, +InputPredicate, +ClientData) xtRemoveInput(InputName)

intrinsicsのXtAdd/RemoveInput()と同様の働きをします。

xtAddInput/5は、InputConditionによって指定されたイベントがFileDescriptor上に生じた時に呼び出されるべきInputPredicate/2を登録します。

FileDescriptorは、stdin, stdout, stderrの他、任意のストリームを指定することができます。

InputConditionは、xtInputReadMAsk, xtInputWriteMask, xtInputExceptMaskのうちのいずれかでなければなりません。

InputPredicateは、２つの引数をもつ述語でなければなりません。これは以下のように、適切なイベントがディスパッチされた時に呼び出されます。 InputPredicate(InputName, ClientData)

xtInputReadMaskに設定した条件で入力イベントがコ−ルバック述語を呼び出した時には、コ−ルバック述語はそのイベントの原因を取り除くために、必ずファイル記述子から読み込まなければなりません。そうしなければ、無限ル−プをひきおこします。get/1を使用した場合には、別の問題が生じます。オペレ−ティングシステムによるバッファリングのために、ファイル記述子からの入力を読み込んでも、アプリケ−ションがその行の残りを読み込むために必要なコ−ルバックの呼び出しがなされなくなってしまいます。これを避けるために、get_until/3を使って１行ずつ読み込むようにしなければなりません。

InputPredicateは失敗してはならず、失敗した場合には例外"input_predicate_failed"が起こります。

[user]. ｜ write_input(InputName, ClientData) :- write('input callback '), write(InputName), write(' with client_data '), write(ClientData), write(' reads '), get_until(10, Last, Line), write(Line), nl, (( Line = last, write(removed), nl, xtRemoveInput(InputName), !) ; true). ｜EOF yes ?- xtAddInput(input1, stdin, xtInputReadMask, write_input, xxx ). yes

?- xtMainloop. test1 input callback input1 with client_data xxx reads test1 test2 input callback input1 with client_data xxx reads test2 last input callback input1 with client_data xxx reads last removed

yes ?- _

＜xtAddInput/5＞ atom_expected InputCondition、FileDescriptorがアトムでない input_name_already_used InputNameで指定した入力がすでに存在している illegal_input_predicate InputPredicate/2が存在していない

＜xtRemoveInput/1＞ illegal_input この名前の入力は登録されていない

冒頭へ