deferred class RENDERER

Features exported to ANY

Direct parents

non-conformant parents

Known children

conformant children

BASIC_RENDERER, DEFAULT_RENDERER

Summary

exported features

draw_line (d: DRAWABLE, x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER, state: INTEGER)
draw_rectangle (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, state: INTEGER)
draw_fill_rectangle (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, state: INTEGER)
draw_button (b: BUTTON)
draw_check_button (b: CHECK_SPACE)
draw_box (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, intensity: INTEGER)
draw_string (d: DRAWABLE, s: UNICODE_STRING, x: INTEGER, y: INTEGER, state: INTEGER)
font (state: INTEGER): BASIC_FONT

Details

deferred draw_line (d: DRAWABLE, x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER, state: INTEGER)

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

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

deferred draw_button (b: BUTTON)

deferred draw_check_button (b: CHECK_SPACE)

deferred draw_box (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, intensity: INTEGER)

require

intensity.in_range(0, 16)

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

deferred font (state: INTEGER): BASIC_FONT