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