Automatic generation produced by ISE Eiffel
deferred class EV_POSITIONABLE_I Ancestors EV_POSITIONED_I* Descendants EV_STANDARD_DIALOG_I* EV_WINDOW_I* Clients EV_POSITIONABLE* EV_POSITIONABLE_I* Suppliers BOOLEAN EV_POSITIONABLE_I* INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org