Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_TOOL_BAR_DATA General cluster: implementation_mswin description: "Objects that contain data about tool bars in docking library." create: make Ancestors ANY Queries is_floating: BOOLEAN is_visible: BOOLEAN last_state: detachable SD_TOOL_BAR_ZONE_STATE row (a_title: READABLE_STRING_GENERAL): [like tool_bar_data] detachable ARRAYED_LIST [TUPLE [READABLE_STRING_GENERAL, INTEGER_32, SD_TOOL_BAR_ZONE_STATE]] rows: ARRAYED_LIST [[attached like tool_bar_data] attached ARRAYED_LIST [TUPLE [READABLE_STRING_GENERAL, INTEGER_32, SD_TOOL_BAR_ZONE_STATE]]] screen_x: INTEGER_32 screen_y: INTEGER_32 title: detachable STRING_32 Commands set_floating (a_is_floating: BOOLEAN) set_last_state (a_last_state: SD_TOOL_BAR_ZONE_STATE) set_screen_x_y (a_screen_x, a_screen_y: INTEGER_32) set_title (a_title: READABLE_STRING_GENERAL) set_visible (a_bool: BOOLEAN) Constraints rows not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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