guievent

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は、項であればどのようなものでもかまいません。 イベントが起こると、項をゴールとして活性化します。 項が、最初の引数に変数をとる複合型のものであれば、この引数は最初の 引数で値を与えられます。