indexing
	description: "Information about message Wm_notify which informs the parent window of a control that an event has occurred in the control or that the control requires some kind of information."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_NOTIFY_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

	id: INTEGER
			-- Identifier of the control sending the message

	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)

	nmhdr: WEL_NMHDR
			-- Information about the notification
		ensure
			result_not_void: Result /= void

	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)
	
invariant

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

end -- class WEL_NOTIFY_MESSAGE