Automatic generation produced by ISE Eiffel
class EV_VERTICAL_BOX_IMP Ancestors EV_BOX_IMP* EV_VERTICAL_BOX_I* Clients EV_TITLED_WINDOW_IMP EV_VERTICAL_BOX EV_VERTICAL_BOX_IMP EV_WINDOW_IMP Suppliers ARRAYED_LIST [G] BOOLEAN EV_VERTICAL_BOX_IMP EV_WIDGET_IMP* INTEGER_32 PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] -- Generated by Eiffel Studio --
For more details: eiffel.org