class
	EV_KEY

General
	cluster: vision2.interface.kernel
	description: 
		"Eiffel Vision key. Represents a virtual key code. `code' can be any
		of the constant values defined in EV_KEY_CONSTANTS."
	create: make_with_code, default_create

Ancestors
	ANY
	EV_KEY_CONSTANTS

Queries
	code: INTEGER
	is_alpha: BOOLEAN
	is_arrow: BOOLEAN
	is_function: BOOLEAN
	is_number: BOOLEAN
	is_numpad: BOOLEAN
	out: STRING
	valid_key_code (a_code: INTEGER): BOOLEAN

Commands
	set_code (a_code: INTEGER)

Constraints
	code valid