Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	SD_STATE

General
	cluster: implementation_mswin
	description: "SD_STATE which manage SD_ZONE baes on different states. A state pattern."

Ancestors
	DEBUG_OUTPUT*
	SD_ACCESS*
	SD_DOCKING_MANAGER_HOLDER*

Queries
	content_count_valid (a_titles: ARRAYED_LIST [READABLE_STRING_GENERAL]): BOOLEAN
	content_void: BOOLEAN
	debug_output: STRING_32
	direction: INTEGER_32
	docking_manager: SD_DOCKING_MANAGER
	floating_zone: detachable SD_FLOATING_ZONE
	initialized: BOOLEAN
	is_dock_at_top (a_multi_dock_area: SD_MULTI_DOCK_AREA): BOOLEAN
	is_docking_manager_attached: BOOLEAN
	last_floating_height: INTEGER_32
	last_floating_width: INTEGER_32
	value: INTEGER_32
	width_height: INTEGER_32
	width_height_by_direction: INTEGER_32
	zone: detachable SD_ZONE

Commands
	change_tab_tooltip (a_tooltip: detachable READABLE_STRING_GENERAL)
	change_zone_split_area (a_target_zone: SD_ZONE; a_direction: INTEGER_32)
	clear_docking_manager
	dock_at_top_level (a_multi_dock_area: SD_MULTI_DOCK_AREA)
	float (a_x, a_y: INTEGER_32)
	hide
	minimize
	move_to_docking_zone (a_target_zone: SD_DOCKING_ZONE; a_first: BOOLEAN)
	move_to_tab_zone (a_target_zone: SD_TAB_ZONE; a_index: INTEGER_32)
	on_normal_max_window
	record_state
	set_direction (a_direction: INTEGER_32)
	set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER)
	set_last_floating_height (a_height: INTEGER_32)
	set_last_floating_width (a_width: INTEGER_32)
	set_mini_toolbar (a_toolbar_widget: EV_WIDGET)
	set_split_proportion (a_proportion: REAL_32)
	set_user_widget (a_widget: EV_WIDGET)
	set_width_height (a_width_height: INTEGER_32)
	show
	stick (a_direction: INTEGER_32)

Constraints
	last floating height valid
	last floating width valid



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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