    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