indexing
	description: "Information about message Wm_move which is sent after a window has been moved."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_MOVE_MESSAGE

create 

	make (a_window: WEL_WINDOW; a_message, a_w_param, a_l_param: INTEGER)
			-- Set window, message, w_param, l_param with
			-- a_window, a_message, a_w_param, a_l_param
			-- (from WEL_MESSAGE_INFORMATION)
		ensure -- from WEL_MESSAGE_INFORMATION
			window_set: window = a_window
			message_set: message = a_message
			w_param_set: w_param = a_w_param
			l_param_set: l_param = a_l_param

feature -- Initialization

	make (a_window: WEL_WINDOW; a_message, a_w_param, a_l_param: INTEGER)
			-- Set window, message, w_param, l_param with
			-- a_window, a_message, a_w_param, a_l_param
			-- (from WEL_MESSAGE_INFORMATION)
		ensure -- from WEL_MESSAGE_INFORMATION
			window_set: window = a_window
			message_set: message = a_message
			w_param_set: w_param = a_w_param
			l_param_set: l_param = a_l_param
	
feature -- Access

	l_param: INTEGER
			-- Additional information about message. The exact
			-- meaning depends on the value of message.
			-- (from WEL_MESSAGE_INFORMATION)

	message: INTEGER
			-- Message number. See class WEL_WM_CONSTANTS for
			-- different values.
			-- (from WEL_MESSAGE_INFORMATION)

	w_param: INTEGER
			-- Additional information about message. The exact
			-- meaning depends on the value of message.
			-- (from WEL_MESSAGE_INFORMATION)

	window: WEL_WINDOW
			-- Window which receives message
			-- (from WEL_MESSAGE_INFORMATION)

	x: INTEGER
			-- x-coordinate of the upper-left corner of the client
			-- area of the window

	y: INTEGER
			-- y-coordinate of the upper-left corner of the client
			-- area of the window
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_MOVE_MESSAGE