Automatic generation produced by ISE Eiffel
deferred class EV_POSITIONED Ancestors EV_ANY* Descendants EV_MENU_BAR EV_PICK_AND_DROPABLE* EV_POSITIONABLE* Clients EV_DEBUG_INSPECTOR EV_DEBUG_INSPECTOR_WINDOW EV_POSITIONED* Suppliers BOOLEAN EV_POSITIONED* EV_POSITIONED_I* INTEGER_32 NATURAL_32 -- Generated by Eiffel Studio --
For more details: eiffel.org