class interface GRAPHICS_CIRCLE

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_CIRCLE