ANY NONE
class interface DEFAULT_RENDERER

creation
   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.

feature(s) from RENDERER
   draw_line (d: DRAWABLE; x1, y1, x2, y2, state: INTEGER)

   draw_rectangle (d: DRAWABLE; x, y, width, height, state: INTEGER)

   draw_fill_rectangle (d: DRAWABLE; x, y, width, height, state: INTEGER)

   draw_button (b: BUTTON)

   draw_check_button (b: CHECK_SPACE)

   draw_box (d: DRAWABLE; x, y, width, height: INTEGER; intensity: INTEGER)
      require
         intensity.in_range(0,16)

   draw_string (d: DRAWABLE; s: UNICODE_STRING; x, y, state: INTEGER)

   font (state: INTEGER): BASIC_FONT

feature(s) from DEFAULT_RENDERER
   draw_check (d: DRAWABLE; x, y, width, height: INTEGER; active: BOOLEAN)

   color_gradient: FAST_ARRAY[COLOR]
      -- 17 levels from black(0) to white(16)



end of DEFAULT_RENDERER