Automatic generation produced by ISE Eiffel
deferred class EV_MENU_I Ancestors EV_MENU_ITEM_I* EV_MENU_ITEM_LIST_I* Descendants EV_MENU_IMP Clients EV_MENU EV_MENU_I* Suppliers BOOLEAN EV_ITEM_LIST_I* [G -> EV_ITEM] EV_MENU_I* EV_RADIO_MENU_ITEM INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org