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