indexing
	description: "HWND constants used in SetWindowPos."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_HWND_CONSTANTS

feature -- Access

	hwnd_bottom: POINTER

	hwnd_notopmost: POINTER

	hwnd_top: POINTER

	hwnd_topmost: POINTER
	
feature -- Status report

	valid_hwnd_constant (c: POINTER): BOOLEAN
			-- Is c a valid hwnd constant?
	
invariant

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

end -- class WEL_HWND_CONSTANTS