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