Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_HOT_ZONE_OLD_MAIN General cluster: implementation_mswin description: "SD_HOT_ZONE for SD_MULTI_DOCKING_AREA." 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 Hot_zone_size_proportion: REAL_32 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 set_pointer_style (a_pointer_style: EV_POINTER_STYLE) update_for_indicator_clear (a_screen_x, a_screen_y: INTEGER_32) Constraints internal docking manager not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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