Automatic generation produced by ISE Eiffel
deferred class EV_VERTICAL_SPLIT_AREA_I Ancestors EV_SPLIT_AREA_I* Descendants EV_VERTICAL_SPLIT_AREA_IMP Clients EV_VERTICAL_SPLIT_AREA_I* Suppliers BOOLEAN EV_VERTICAL_SPLIT_AREA_I* EV_WIDGET* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org