ANY NONE
class interface BASIC_RENDERER
   -- This renderer is designed for very simple and high speed rendering.
   -- It may be useful is the display goes through low bandwidth or high
   -- latency network.

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



end of BASIC_RENDERER