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