Automatic generation produced by ISE Eiffel
deferred class EV_POSITIONED_I Ancestors EV_ANY_I* Descendants EV_MENU_BAR_I* EV_PICK_AND_DROPABLE_I* EV_POSITIONABLE_I* Clients EV_POSITIONED* EV_POSITIONED_I* Suppliers BOOLEAN EV_MONITOR_DPI_DETECTOR_IMP EV_POSITIONED_I* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org