Automatic generation produced by ISE Eiffel

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

General
	cluster: implementation_mswin
	description: "SD_HOT_ZONE that represent SD_MULTI_DOCK_AREA's hot zone."
	create: make

Ancestors
	SD_HOT_ZONE*

Queries
	apply_change (a_screen_x, a_screen_y: INTEGER_32): BOOLEAN
	has_x_y (a_screen_x, a_screen_y: INTEGER_32): BOOLEAN
	update_for_feedback (a_screen_x, a_screen_y: INTEGER_32; a_dockable: BOOLEAN): BOOLEAN
	update_for_indicator (a_screen_x, a_screen_y: INTEGER_32): BOOLEAN

Commands
	build_indicator
	clear_indicator
	show_indicator
	update_for_indicator_clear (a_screen_x, a_screen_y: INTEGER_32)

Constraints
	internal shared not void
	top rectangle not void
	bottom rectangle not void
	left rectangle not void
	right rectangle not void
	not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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