Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class SD_HOT_ZONE_CONTENT General cluster: implementation_mswin description: "SD_HOT_ZONE with an attached content." 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 zone: SD_ZONE Commands build_indicator clear_indicator show_indicator update_for_indicator_clear (a_screen_x, a_screen_y: INTEGER_32) Constraints internal docker mediator not void internal shared not void internal rectangle not void not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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