Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.event

Class EM_KEYBOARD_EVENT


Direct ancestors

EM_EVENT, SDLKEY_ENUM_EXTERNAL, SDLMOD_ENUM_EXTERNAL, SDL_KEYBOARD_FUNCTIONS

Creation

Features

Invariants

indexing

description

Keyboard event

date

$Date: 2005/10/23 12:03:02 $

revision

$Revision: 1.5 $

class

EM_KEYBOARD_EVENT

inherit

EM_EVENT
SDLKEY_ENUM_EXTERNAL
SDLMOD_ENUM_EXTERNAL

create

make (a_pointer: POINTER)

-- Create a keyboard event.

-- (From EM_EVENT)

require
a_pointer_not_null: a_pointer /= Default_pointer

feature -- Access

character: CHARACTER

-- Character representing the key of the current event,
-- not a meaningfull value for all keys,
-- better use unicode_character for reliable characters
-- (i.e. for textual input)

key: INTEGER

-- Key value
-- (See sdlk_... features in SDLKEY_ENUM_EXTERNAL for possible values)

key_name: STRING

-- SDL-Name for key

keyboard_modifiers: INTEGER

-- Keyboard modifier flags specifying which keyboard modifiers are currently on
-- (see kmod_... features in SDLMOD_ENUM_EXTERNAL for possible flags)

type: INTEGER

-- Event type value
-- (em_key_down_event or em_key_up_event)

-- (From EM_EVENT)

unicode_character: CHARACTER

-- Character entered in the current key down event (not valid for key up events)
-- only meaningful if is_unicode_characters_enabled in EM_KEYBOARD.

feature -- Status report

caught: BOOLEAN

-- Has Current event already been caught?
-- This means that somebody handled the event
-- and it should not be published any further.

-- (From EM_EVENT)

is_alt_left_pressed: BOOLEAN

-- Is left alt key currently pressed?

is_alt_pressed: BOOLEAN

-- Is an alt key currently pressed?

is_alt_right_pressed: BOOLEAN

-- Is right alt key currently pressed?

is_caps_locked: BOOLEAN

-- Is caps lock enabled?

is_control_left_pressed: BOOLEAN

-- Is left control key currently pressed?

is_control_pressed: BOOLEAN

-- Is a control key currently pressed?

is_control_right_pressed: BOOLEAN

-- Is right control key currently pressed?

is_key_down: BOOLEAN

-- Is it a key down event?

is_key_up: BOOLEAN

-- Is it a key up event?

is_keyboard_modifier_on (keyboard_modifier_flag: INTEGER): BOOLEAN

-- Is keyboard modifier_flag turned on in keyboard_modifier_flags.
-- (see kmod_... features in SDLMOD_ENUM_EXTERNAL for possible keyboard_modifier_flag values)

require
valid_keyboard_modifier_flag: is_valid_keyboard_modifier_flag (keyboard_modifier_flag)
is_num_locked: BOOLEAN

-- Is num lock enabled?

is_shift_left_pressed: BOOLEAN

-- Is left shift key currently pressed?

is_shift_pressed: BOOLEAN

-- Is a shift key currently pressed?

is_shift_right_pressed: BOOLEAN

-- Is right shift key currently pressed?

feature -- Status setting

set_caught (a_bool: BOOLEAN)

-- Set caught to a_bool.
-- One should call set_caught with True
-- when Current should not be published any further.

-- (From EM_EVENT)

ensure
caught_set: caught = a_bool

feature -- Output

out: STRING

-- Textual representation

-- (From ANY)

feature {ANY}

is_valid_key (a_value: INTEGER): BOOLEAN

-- Is a_value a valid integer code for this enum ?

-- (From SDLKEY_ENUM_EXTERNAL)

is_valid_keyboard_modifier_flag (a_value: INTEGER): BOOLEAN

-- Is a_value a valid integer code for this enum ?

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_caps: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_lalt: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_lctrl: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_lmeta: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_lshift: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_mode: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_none: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_num: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_ralt: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_rctrl: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_reserved: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_rmeta: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

kmod_rshift: INTEGER

-- (From SDLMOD_ENUM_EXTERNAL)

sdlk_0: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_1: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_2: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_3: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_4: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_5: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_6: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_7: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_8: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_9: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_a: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_ampersand: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_asterisk: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_at: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_b: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_backquote: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_backslash: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_backspace: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_break: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_c: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_capslock: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_caret: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_clear: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_colon: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_comma: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_compose: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_d: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_delete: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_dollar: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_down: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_e: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_end: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_equals: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_escape: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_euro: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_exclaim: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f1: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f10: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f11: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f12: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f13: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f14: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f15: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f2: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f3: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f4: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f5: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f6: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f7: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f8: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_f9: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_first: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_g: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_greater: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_h: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_hash: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_help: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_home: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_i: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_insert: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_j: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_k: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp0: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp1: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp2: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp3: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp4: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp5: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp6: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp7: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp8: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp9: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_divide: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_enter: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_equals: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_minus: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_multiply: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_period: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_kp_plus: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_l: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_lalt: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_last: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_lctrl: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_left: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_leftbracket: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_leftparen: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_less: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_lmeta: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_lshift: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_lsuper: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_m: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_menu: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_minus: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_mode: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_n: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_numlock: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_o: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_p: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_pagedown: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_pageup: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_pause: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_period: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_plus: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_power: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_print: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_q: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_question: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_quote: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_quotedbl: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_r: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_ralt: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_rctrl: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_return: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_right: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_rightbracket: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_rightparen: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_rmeta: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_rshift: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_rsuper: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_s: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_scrollock: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_semicolon: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_slash: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_space: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_sysreq: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_t: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_tab: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_u: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_underscore: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_undo: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_unknown: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_up: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_v: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_w: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_0: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_1: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_10: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_11: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_12: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_13: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_14: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_15: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_16: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_17: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_18: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_19: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_2: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_20: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_21: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_22: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_23: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_24: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_25: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_26: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_27: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_28: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_29: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_3: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_30: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_31: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_32: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_33: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_34: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_35: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_36: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_37: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_38: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_39: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_4: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_40: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_41: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_42: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_43: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_44: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_45: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_46: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_47: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_48: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_49: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_5: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_50: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_51: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_52: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_53: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_54: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_55: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_56: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_57: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_58: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_59: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_6: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_60: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_61: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_62: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_63: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_64: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_65: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_66: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_67: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_68: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_69: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_7: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_70: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_71: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_72: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_73: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_74: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_75: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_76: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_77: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_78: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_79: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_8: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_80: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_81: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_82: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_83: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_84: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_85: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_86: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_87: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_88: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_89: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_9: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_90: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_91: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_92: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_93: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_94: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_world_95: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_x: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_y: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

sdlk_z: INTEGER

-- (From SDLKEY_ENUM_EXTERNAL)

invariant

sdl_keyboard_event_struct_not_void: sdl_keyboard_event_struct /= Void
sdl_keyboard_symbol_struct_not_void: sdl_keyboard_symbol_struct /= Void

-- From EM_EVENT
sdl_event_not_void: sdl_event /= Void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end