Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_HOT_ZONE_TAB_UPPER General cluster: implementation_mswin description: "SD_HOT_ZONEs for SD_TAB_ZONE_UPPERs." create: make Ancestors SD_HOT_ZONE_TAB 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 zone: SD_TAB_ZONE Commands build_indicator clear_indicator show_indicator update_for_indicator_clear (a_screen_x, a_screen_y: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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