class DECORATOR

Features exported to ANY

The most complex decorator

Direct parents

conformant parents

DECORATION

Summary

creation features

exported features

Details

make (s: BOOLEAN)

ensure

  • scaleable = s

std_height: INTEGER
std_width: INTEGER
make (s: BOOLEAN)

ensure

  • scaleable = s

scaleable: BOOLEAN

if True, the points are modified when the decorator is resized

add_segment (x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER)
add_arc (x: INTEGER, y: INTEGER, w: INTEGER, h: INTEGER, angle1: INTEGER, angle2: INTEGER)
add_polygon (x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER)
add_pie (x: INTEGER, y: INTEGER, w: INTEGER, h: INTEGER, angle1: INTEGER, angle2: INTEGER)
paint (x: INTEGER, y: INTEGER)
resize (w: INTEGER, h: INTEGER)

require

  • w >= min_width
  • h >= min_height

ensure

  • width = w
  • height = h

set_widget (w: POINTER)
widget: POINTER
width: INTEGER
height: INTEGER
min_width: INTEGER
min_height: INTEGER
max_width: INTEGER
max_height: INTEGER
parent: CONTAINER
pos_x: INTEGER
pos_y: INTEGER
x_shrink_allowed: BOOLEAN
x_expand_allowed: BOOLEAN
y_shrink_allowed: BOOLEAN
y_expand_allowed: BOOLEAN
valid_width (w: INTEGER): BOOLEAN
valid_height (h: INTEGER): BOOLEAN
area: RECT
root_area: RECT
set_x_shrink (b: BOOLEAN)
set_x_expand (b: BOOLEAN)
set_y_shrink (b: BOOLEAN)
set_y_expand (b: BOOLEAN)
set_shrink (b: BOOLEAN)

change both x and y shrink state

set_expand (b: BOOLEAN)

change both x and y expand state

state: INTEGER

use values from STATE_CONSTANTS

frozen is_state_normal: BOOLEAN
frozen is_state_active: BOOLEAN
frozen is_state_prelight: BOOLEAN
frozen is_state_selected: BOOLEAN
frozen is_state_insensitive: BOOLEAN

Class invariant