Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_SYSTEM_COMMAND_MESSAGE General cluster: wel description: "Information about message Wm_syscommand which is sent when the user chooses a command from the System menu (also known as Control menu) or when the user chooses the Maximize button or Minimize button." create: make Ancestors WEL_MESSAGE_INFORMATION WEL_SC_CONSTANTS Queries cwin_hi_word (value: POINTER): INTEGER_32 cwin_lo_word (value: POINTER): INTEGER_32 cwin_make_long (low, high: INTEGER_32): POINTER cwin_make_lparam (low, high: INTEGER_32): POINTER is_arrange: BOOLEAN is_close: BOOLEAN is_horizontal_scroll: BOOLEAN is_hot_key: BOOLEAN is_key_menu: BOOLEAN is_maximize: BOOLEAN is_minimize: BOOLEAN is_mouse_menu: BOOLEAN is_move: BOOLEAN is_next_window: BOOLEAN is_previous_window: BOOLEAN is_restore: BOOLEAN is_screen_save: BOOLEAN is_size: BOOLEAN is_task_list: BOOLEAN is_vertical_scroll: BOOLEAN l_param: POINTER message: INTEGER_32 sc_arrange: INTEGER_32 sc_close: INTEGER_32 sc_hotkey: INTEGER_32 sc_hscroll: INTEGER_32 sc_keymenu: INTEGER_32 sc_maximize: INTEGER_32 sc_minimize: INTEGER_32 sc_mousemenu: INTEGER_32 sc_move: INTEGER_32 sc_nextwindow: INTEGER_32 sc_prevwindow: INTEGER_32 sc_restore: INTEGER_32 sc_screensave: INTEGER_32 sc_size: INTEGER_32 sc_tasklist: INTEGER_32 sc_vscroll: INTEGER_32 to_lparam (i: INTEGER_32): POINTER to_lresult (i: INTEGER_32): POINTER to_wparam (i: INTEGER_32): POINTER type: INTEGER_32 w_param: POINTER window: WEL_WINDOW x: INTEGER_32 y: INTEGER_32 Commands make (a_window: WEL_WINDOW; a_message: INTEGER_32; a_w_param, a_l_param: POINTER)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org