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