Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_POSITIONED Ancestors EV_ANY* Descendants EV_MENU_BAR EV_PICK_AND_DROPABLE* EV_POSITIONABLE* Clients EV_POSITIONED* Suppliers BOOLEAN EV_POSITIONED* EV_POSITIONED_I* INTEGER_32 NATURAL_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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