Automatic generation produced by ISE Eiffel
deferred class EV_WIDGET_LIST Ancestors EV_CONTAINER* EV_DYNAMIC_LIST* [G -> EV_CONTAINABLE] Descendants EV_BOX* EV_FIXED EV_NOTEBOOK Clients EV_DOCKABLE_SOURCE_I* EV_WIDGET_LIST* Suppliers BOOLEAN EV_WIDGET_LIST* -- Generated by Eiffel Studio --
For more details: eiffel.org