class
	EV_KEY

General
	cluster: interface
	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_32
	is_alpha: BOOLEAN
	is_arrow: BOOLEAN
	is_function: BOOLEAN
	is_number: BOOLEAN
	is_numpad: BOOLEAN
	out: STRING_8
	valid_key_code (a_code: INTEGER_32): BOOLEAN

Commands
	set_code (a_code: INTEGER_32)

Constraints
	code valid