Automatic generation produced by ISE Eiffel
deferred class EV_BOX Ancestors EV_DOCKABLE_TARGET* EV_WIDGET_LIST* Descendants DV_BOX* EV_HORIZONTAL_BOX EV_VERTICAL_BOX Clients EV_BOX* EV_DOCKABLE_SOURCE_I* EV_SHARED_TRANSPORT_I MULTIPLE_SPLIT_AREA SD_DOCKING_MANAGER_COMMAND SD_FLOATING_TOOL_BAR_ZONE SD_MAIN_CONTAINER SD_MINI_TOOL_BAR_DIALOG SD_NOTEBOOK SD_NOTEBOOK_HIDE_TAB_DIALOG SD_SIZABLE_POPUP_WINDOW SD_TOOL_BAR_DOCKER_MEDIATOR SD_TOOL_BAR_HOT_ZONE SD_TOOL_BAR_MANAGER SD_TOOL_BAR_ZONE_ASSISTANT SD_UPPER_ZONE* SD_ZONE_NAVIGATION_DIALOG Suppliers BOOLEAN EV_BOX* EV_BOX_I* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org