xtAddTimeOut(+TimeOutName, +Interval, +TimeOutPredicate, +ClientData) xtRemoveTimeOut(TimeOutName)

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

xtAddTimeOut/4は、Intervalミリ秒後に呼び出されるべきTimeOutPredicate/2を登録します。

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

TimeOutPredicateが１度呼び出されると、タイムアウトは削除されます。周期的に呼び出したい場合には、タイムアウトをコ−ルバック中で登録し直さなければなりません。

TimeOutPredicateは失敗してはならず、失敗した場合には例外"timeout_predicate_failed"が結果として起こります。

[user]. ｜ write_timeout(TimeOutName, ClientData) :- write(' time_out callback '), write(TimeOutName), write(' with client_data '), write(ClientData), nl. ｜EOF yes ?- xtAddTimeOut(time_out_5000, 5000, write_timeout, xxx ), xtMainLoop. < after 5 seconds > time_out callback time_out_5000 with client_data xxx

yes ?- _

＜xtAddtimeOut/4＞ integer_expected Intervalは整数でなければならない timeout_name_already_used TimeOutNameで指定したタイムアウトがすでに存在している illegal_timeout_predicate TimeOutPredicate/2が存在していない

＜xtRemoveTimeOut/1＞ illegal_timeout この名前のタイムアウトは登録されていない

scroll to top