class interface HATCHED_BRUSH

creation
   make

feature(s) from COLOR_BRUSH
   --  Colour

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

feature(s) from HATCHED_BRUSH
   --  Colour

   set_hatch_cross
      --  Set hatch style: ++++++


   set_hatch_diagonal_cross
      --  Set hatch style: xxxxxx


   set_hatch_horizontal
      --  Set hatch style: ------


   set_hatch_vertical
      --  Set hatch style: ||||||


   set_hatch_forward_diagonal
      --  Set hatch style: //////


   set_hatch_backward_diagonal
      --  Set hatch style: \\\\\\


invariant
   valid_color: color /= Void;

end of HATCHED_BRUSH