Automatic generation produced by ISE Eiffel
deferred class EV_POSITIONABLE Ancestors EV_POSITIONED* Descendants EV_STANDARD_DIALOG* EV_WINDOW Clients EV_POSITIONABLE* SD_POSITION_HELPER Suppliers BOOLEAN EV_POSITIONABLE* EV_POSITIONABLE_I* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org