class interface GRAPHICS_RECTANGLE creation make (par: GRAPHICS) -- Initialise. require ok: par /= Void ensure keep_reference: parent = par feature(s) from GUI_COMMAND execute -- Event. feature(s) from GRAPHICS_COMMAND figure (cp: POINT; size: INTEGER): DRAWABLE -- Produce drawable object. require ok: cp /= Void; valid_size: size > 0 ensure done: Result /= Void end of GRAPHICS_RECTANGLE