class interface DRAWABLE_ELLIPSE

creation
   make

feature(s) from DRAWABLE_ELLIPSE
   --  Position

   set_bounding_rectangle (rect: RECTANGLE)
      --  Set the rectangle defining the ellipse from which 
      --  the arc is extracted.

      require
         valid_rectangle: rect /= Void

invariant
   valid_ellipse: bounding_rectangle /= Void;

end of DRAWABLE_ELLIPSE