indexing
	description: "Constants used in WEL_INPUT_EVENT about mouse and keyboard events"
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"
class interface
	WEL_INPUT_EVENT_CONSTANTS
feature 
	Keyeventf_extendedkey: INTEGER is 1
			
	Keyeventf_keyup: INTEGER is 2
			
	
feature 
	Mouseeventf_absolute: INTEGER is 32768
			
	Mouseeventf_leftdown: INTEGER is 2
			
	Mouseeventf_leftup: INTEGER is 4
			
	Mouseeventf_middledown: INTEGER is 32
			
	Mouseeventf_middleup: INTEGER is 64
			
	Mouseeventf_move: INTEGER is 1
			
	Mouseeventf_rightdown: INTEGER is 8
			
	Mouseeventf_rightup: INTEGER is 16
			
	Mouseeventf_wheel: INTEGER is 2048
			
	
invariant
		 ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)
end -- WEL_INPUT_EVENT_CONSTANTS