proxy-call は、呼び出されるリモート インターフェース メソッドです。receiving は、リモート インターフェース メソッドの戻り値の全てを持つ必要があります。catch は、リモート呼び出しの最中に発生したエラーで呼び出されます。しかし、例外は、全て RemoteException になります。

receiving-body と catch-body は、イベント ループ中にイベント ハンドラから呼び出されるプロシージャに変換されます。

receiving 句と catch がなかった場合には、query は暗黙的に送信され、応答を要求しません。