class interface COLOR_BRUSH

creation
   make

feature(s) from COLOR_BRUSH
   --  Colour

   set_color (col: COLOR)
      require
         valid_color: col /= Void
      ensure
         keep_reference: color = col

invariant
   valid_color: color /= Void;

end of COLOR_BRUSH