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