Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_DOCKING_MANAGER_AGENTS General cluster: implementation_mswin description: "Objects help SD_DOCKING_MANAGER with agents issues." create: make Ancestors EV_BUILDER* EV_SHARED_APPLICATION SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Queries docking_manager: SD_DOCKING_MANAGER ev_application: EV_APPLICATION ev_separate_application: separate EV_APPLICATION focused_tab_stub: detachable SD_TAB_STUB is_destroyed: BOOLEAN is_docking_manager_attached: BOOLEAN notify_one_auto_hide_panel (a_direction: INTEGER_32; a_target: detachable EV_WIDGET; a_screen_x, a_screen_y: INTEGER_32): BOOLEAN pointer_in_tab: BOOLEAN Shared_environment: EV_ENVIRONMENT title_unique (a_content: SD_CONTENT): BOOLEAN user_widget_valid (a_content: SD_CONTENT): BOOLEAN Commands clear_docking_manager destroy init_actions on_added_content (a_content: SD_CONTENT) on_added_zone (a_zone: SD_ZONE) on_dpi_change_resize (a_dpi: NATURAL_32; a_x, a_y, a_width, a_height: INTEGER_32; a_force: BOOLEAN) on_drop_actions (a_pebble: ANY) on_main_window_focus_in on_main_window_focus_out on_pick_actions (a_pebble: ANY) on_pnd_motions (a_x, a_y: INTEGER_32; a_target: detachable EV_ABSTRACT_PICK_AND_DROPABLE) on_prune_content (a_content: SD_CONTENT) on_pruned_zone (a_zone: SD_ZONE) on_resize (a_x, a_y, a_width, a_height: INTEGER_32; a_force: BOOLEAN) on_theme_changed on_top_level_window_focus_in on_top_level_window_focus_out on_widget_pointer_press (a_widget: EV_WIDGET; a_button, a_x, a_y: INTEGER_32) on_widget_pointer_press_for_upper_zone (a_widget: EV_WIDGET; a_button, a_x, a_y: INTEGER_32) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) Constraints pnd motion actions handler not void theme changed handler not void internal shared not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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