deferred class interface GRAPHICS_COMMAND feature(s) from GUI_COMMAND execute -- Event. feature(s) from GRAPHICS_COMMAND figure (pt: POINT; size: INTEGER): DRAWABLE -- Produce drawable object. require ok: pt /= Void; valid_size: size > 0 ensure done: Result /= Void end of deferred GRAPHICS_COMMAND