Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org