class interface DRAWABLE_RECTANGLE

creation
   make
      --  Create object.


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)

invariant
   valid_position: position /= Void;

end of DRAWABLE_RECTANGLE