indexing
description: "Information about message Wm_char, Wm_syschar, Wm_keydown, Wm_keyup, Wm_syskeydown, Wm_syskeyup. These messages are sent when a key is pressed."
status: "See notice at end of class."
date: "$Date$"
revision: "$Revision$"
class interface
WEL_KEY_MESSAGE
create
make (a_window: WEL_WINDOW; a_message, a_w_param, a_l_param: INTEGER)
windowmessagew_paraml_param
a_windowa_messagea_w_parama_l_param
WEL_MESSAGE_INFORMATION
ensure WEL_MESSAGE_INFORMATION
window_set: window = a_window
message_set: message = a_message
w_param_set: w_param = a_w_param
l_param_set: l_param = a_l_param
feature
make (a_window: WEL_WINDOW; a_message, a_w_param, a_l_param: INTEGER)
windowmessagew_paraml_param
a_windowa_messagea_w_parama_l_param
WEL_MESSAGE_INFORMATION
ensure WEL_MESSAGE_INFORMATION
window_set: window = a_window
message_set: message = a_message
w_param_set: w_param = a_w_param
l_param_set: l_param = a_l_param
feature
code: INTEGER
WEL_VK_CONSTANTS
data: INTEGER
l_param: INTEGER
message
message
WEL_MESSAGE_INFORMATION
message: INTEGER
WEL_WM_CONSTANTS
WEL_MESSAGE_INFORMATION
w_param: INTEGER
message
message
WEL_MESSAGE_INFORMATION
window: WEL_WINDOW
message
WEL_MESSAGE_INFORMATION
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- WEL_KEY_MESSAGE