ANY NONE
deferred class interface RENDERER

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 deferred RENDERER