Automatic generation produced by ISE Eiffel
class EV_MODEL_DOT Ancestors EV_MODEL_ATOMIC* EV_MODEL_SINGLE_POINTED* Clients EG_EDGE EV_MODEL_DOT EV_MODEL_DRAWER Suppliers BOOLEAN EV_COORDINATE EV_MODEL_DOT EV_MODEL_DRAWING_ROUTINES* EV_RECTANGLE INTEGER_32 SPECIAL [T] -- Generated by Eiffel Studio --
For more details: eiffel.org