+
Point of view
INTERNALS_HANDLER
class DECORATOR
- std_width > 0
- std_height > 0
exported features
- add_segment (x1: INTEGER_32, y1: INTEGER_32, x2: INTEGER_32, y2: INTEGER_32)
- add_arc (x: INTEGER_32, y: INTEGER_32, w: INTEGER_32, h: INTEGER_32, angle1: INTEGER_32, angle2: INTEGER_32)
- add_polygon (x1: INTEGER_32, y1: INTEGER_32, x2: INTEGER_32, y2: INTEGER_32)
- add_pie (x: INTEGER_32, y: INTEGER_32, w: INTEGER_32, h: INTEGER_32, angle1: INTEGER_32, angle2: INTEGER_32)
- paint (x: INTEGER_32, y: INTEGER_32)
- resize (w: INTEGER_32, h: INTEGER_32)
require
- w >= min_width
- h >= min_height
ensure
frozen
effective function
frozen
effective function
frozen
effective function
frozen
effective function
frozen
effective function