indexing
	description: "Receives and dispatch the Windows messages to the Eiffel objects."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_DISPATCHER

create 

	make
			-- Initialize the C variables

feature -- Access

	En_change: INTEGER is 768
			-- (from WEL_EN_CONSTANTS)

	En_errspace: INTEGER is 1280
			-- (from WEL_EN_CONSTANTS)

	En_hscroll: INTEGER is 1537
			-- (from WEL_EN_CONSTANTS)

	En_killfocus: INTEGER is 512
			-- (from WEL_EN_CONSTANTS)

	En_maxtext: INTEGER is 1281
			-- (from WEL_EN_CONSTANTS)

	En_msgfilter: INTEGER is 1792
			-- (from WEL_EN_CONSTANTS)

	En_setfocus: INTEGER is 256
			-- (from WEL_EN_CONSTANTS)

	En_update: INTEGER is 1024
			-- (from WEL_EN_CONSTANTS)

	En_vscroll: INTEGER is 1538
			-- (from WEL_EN_CONSTANTS)
	
invariant

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

end -- class WEL_DISPATCHER