Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_SENSITIVE Ancestors EV_CONTAINABLE* Descendants EV_MENU_ITEM EV_TOOL_BAR_BUTTON EV_WIDGET* Clients EV_APPLICATION_I* EV_PICK_AND_DROPABLE_IMP* EV_SENSITIVE* EV_SENSITIVE_I* EV_WINDOW_IMP Suppliers BOOLEAN EV_SENSITIVE* EV_SENSITIVE_I*
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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