deferred class RENDERER

Features exported to ANY

Direct parents

non-conformant parents

ANY

Known children

conformant children

BASIC_RENDERER, DEFAULT_RENDERER

Summary

exported features

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