indexing
	description: "Information about message Wm_showwindow which is when a window is about to be hidden or shown."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"
class interface
	WEL_SHOW_WINDOW_MESSAGE
create 
	make (a_window: WEL_WINDOW; a_message, a_w_param, a_l_param: INTEGER)
			windowmessagew_paraml_param
			a_windowa_messagea_w_parama_l_param
			 WEL_MESSAGE_INFORMATION
		ensure  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 
	make (a_window: WEL_WINDOW; a_message, a_w_param, a_l_param: INTEGER)
			windowmessagew_paraml_param
			a_windowa_messagea_w_parama_l_param
			 WEL_MESSAGE_INFORMATION
		ensure  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 
	l_param: INTEGER
			message
			message
			 WEL_MESSAGE_INFORMATION
	message: INTEGER
			WEL_WM_CONSTANTS
			
			 WEL_MESSAGE_INFORMATION
	status: INTEGER
			
			WEL_SW_CONSTANTS
	w_param: INTEGER
			message
			message
			 WEL_MESSAGE_INFORMATION
	window: WEL_WINDOW
			message
			 WEL_MESSAGE_INFORMATION
	
feature 
	parent_closing: BOOLEAN
			
	parent_opening: BOOLEAN
			
	shown: BOOLEAN
			
	
invariant
		 ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)
end -- WEL_SHOW_WINDOW_MESSAGE