class DRAW_STYLE

Features exported to LINE

DRAW_STYLE is low-level service who describe drawing attributes (color, line width, font...)

Direct parents

conformant parents

DISPOSABLE, DRAWABLE_HANDLER, GRAPHIC, UNICODE_STRING_HANDLER

Known children

conformant children

DRAW_KIT

Summary

creation features

exported features

Details

default_create

Default creation method. It is used when no creation method is specified if allowed. Note it may be renamed.

color: COLOR
set_color (c: COLOR)

require

  • c /= Void

line_width: INTEGER
set_line_width (w: INTEGER)

require

  • w > 0

draw_line (d: POINTER, x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER)

require