indexing
	description: "Mouse and Key (MK) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_MK_CONSTANTS

feature -- Access

	Mk_control: INTEGER is 8
			-- Declared in Windows as MK_CONTROL

	Mk_lbutton: INTEGER is 1
			-- Declared in Windows as MK_LBUTTON

	Mk_mbutton: INTEGER is 16
			-- Declared in Windows as MK_MBUTTON

	Mk_rbutton: INTEGER is 2
			-- Declared in Windows as MK_RBUTTON

	Mk_shift: INTEGER is 4
			-- Declared in Windows as MK_SHIFT
	
invariant

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

end -- class WEL_MK_CONSTANTS