| guieventパッケージ:
:- builtin([
actionListener_create / 2,
adjustmentListener_create / 2,
componentListener_create / 5,
containerListener_create / 3,
focusListener_create / 3,
itemListener_create / 2,
keyListener_create / 4,
mouseListener_create / 6,
mouseMotionListener_create / 3,
textListener_create / 2,
windowListener_create / 8
]).
これらの述語を使用して、GUIオブジェクトのリスナーを作ります。
(参考 JDK >= 1.1)
actionListener_create(
+goal, -Listener)
adjustmentListener_create(
+goal, -Listener)
componentListener_create(
+shown_goal, +hidden_goal, +moved_goal, +resized_goal, -Listener)
containerListener_create(
+added_goal, +removed_goal, -Listener)
focusListener_create(
+gained_goal, +lost_goal, -Listener)
itemListener_create(
+goal, -Listener)
keyListener_create(
+pressed_goal, +released_goal, +typed_goal, -Listener)
mouseListener_create(
+clicked_goal, +pressed_goal,
+released_goal, +entered_goal, +exited_goal, -Listener)
mouseMotionListener_create(
+dragged_goal, +moved_goal, -Listener)
textListener_create(
+goal, -Listener)
windowListener_create(
+activated_goal, +closed_goal,
+closing_goal, +deactivated_goal,
+deiconified_goal, +iconified_goal, +opened_goal, -Listener)
*_goalは、項であればどのようなものでもかまいません。
イベントが起こると、項をゴールとして活性化します。
項が、最初の引数に変数をとる複合型のものであれば、この引数は最初の
引数で値を与えられます。
|