class interface DRAWABLE_POINT

creation
   make

feature(s) from DRAWABLE_POINT
   --  Position

   set_position (pt: POINT)
      --  Set point/pixel position.

      require
         valid: pt /= Void

   set_color (clr: COLOR)
      --  Set point/pixel colour.
      --  (This class does not use the current pen).

      require
         valid: clr /= Void


end of DRAWABLE_POINT