class interface DRAWABLE_ROUND_RECTANGLE

creation
   make
      --  Creation.


feature(s) from DRAWABLE_RECTANGLE
   --  Position

   set_position (rect: RECTANGLE)
      --  Set rectangle to be drawn.

      require
         valid_rectangle: rect /= Void
      ensure
         done: position.is_equal(rect)

feature(s) from DRAWABLE_ROUND_RECTANGLE
   --  Position

   set_corner (width, height: INTEGER)
      --  Set the width and height of the ellipse used to draw the 
      --  rounded corners of the rectangle.

      ensure
         done: round_width = width and then round_height = height

invariant
   valid_position: position /= Void;

end of DRAWABLE_ROUND_RECTANGLE