Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_WIDGET_FACTORY Ancestors SD_ACCESS* Clients SD_AUTO_HIDE_ZONE SD_DOCKING_MANAGER_COMMAND SD_DOCKING_STATE SD_DOCKING_ZONE_NORMAL SD_NOTEBOOK_TAB SD_PANEL SD_SHARED SD_TAB_STATE SD_TAB_ZONE SD_TITLE_BAR_TITLE SD_WIDGET_FACTORY Suppliers ARRAYED_LIST [G] BOOLEAN EV_ITEM_LIST* [G -> EV_ITEM] EV_MENU EV_MENU_ITEM FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] SD_CONTENT SD_DOCKING_MANAGER SD_DOCKING_MANAGER_QUERY SD_DOCKING_ZONE_NORMAL SD_DOCKING_ZONE_UPPER SD_ENUMERATION SD_NOTEBOOK SD_PLACE_HOLDER_ZONE SD_SHARED SD_TAB_ZONE SD_TAB_ZONE_UPPER SD_TITLE_BAR SD_WIDGET_FACTORY SD_ZONE* SD_ZONE_MANAGEMENT_MENU
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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