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.
OSF/Motifは、ウインドウマネージャや他のクライアントと対話を行うプリミティブを提供しています。
xmAddWMProtocols(+ShellName, +ProtocolList)
xmAddProtocols(+ShellName, +Property, +ProtocolList)
xmRemoveWMProtocols(+ShellName, +ProtocolList)
xmRemoveProtocols(+ShellName, +Property, +ProtocolList)
XmAdd/Remove(WM)Protocolsと同様の働きをします。
ProtocolListのプロトコルを、ShellNameの属性Propertyあるいは 'WM_PROTOCOL' に追加/削除します。
xmActivateWMProtocol(+ShellName, +Protocol)
xmActivateProtocol(+ShellName, +Property, +Protocol)
xmDeactivateWMProtocol(+ShellName, +Protocol)
xmDeactivateProtocol(+ShellName, +Property, +Protocol)
XmActivate/Deactivate(WM)Protocol()と同様の働きをします。
属性Propertyあるいは 'WM_PROTOCOL' から、Protocolを追加/削除します。
xmAddWMProtocolCallback(+ShellName, +Protocol, +Callback,
+Closure)
xmAddProtocolCallback(+ShellName, +Property, +Protocol,
+Callback, +Closure)
xmRemoveWMProtocolCallback(+ShellName, +Protocol,
+Callback, +Closure)
xmRemoveProtocolCallback(+ShellName, +Property, +Protocol,
+Callback, +Closure)
XmAdd/Remove(WM)ProtocolCallback()と同様の働きをします。
コールバック述語Callback/3を追加/削除します。これはアクティブなプロトコルに対応するクライアントのメッセージを、例えばウインドウマネージャから送られた、あるいはxmSendClientMessage/4を用いてアプリケーションから送られた時に呼び出されるべき述語です。
Callback/3は、理由 'wm_protocols'によって呼び出されます。
xmIsMotifWMRunning(+ShellName)
XmIsMotifWMRunning()と同様の働きをします。
現在のウインドウマネージャが、Motif Window Manager(mwm)の場合に成功します。
xmSendClientMessage(+WidgetName, +Window, +Protocol,
+Message)
Xlib関数 XSendClientEvent()と同様の働きをします。
この述語はプロトコルの機能のテストや、簡単なアプリケーション間通信の実現をできるようにします。
メッセージ型MessageとデータProtocolをもったClientEventが、Windowのオーナに送信されます。
widgetから取得されたディスプレイと、最も最近、あるいは現在ディスパッチされているイベントの時刻が使用されます。
widget_expected ShellNameがwidgetの名前でない
shell_widget_expected ShellNameは、シェルwidgetでなければならない
atom_expected ProtocolListの要素は、アトムでなければならない
illegal_callback_predicate Callback/3が存在しなければならない
integer_expected Windowが整数でない
list_expected ProtocolListは、リストでなければならない
| 
