+
Point of view
INTERNALS_HANDLER
expanded class RECT
- Direct parents
- insert list: ANY
exported features
- x: INTEGER_32
- y: INTEGER_32
- width: INTEGER_32
- height: INTEGER_32
- make (new_x: INTEGER_32, new_y: INTEGER_32, new_width: INTEGER_32, new_height: INTEGER_32)
- set_x (new_x: INTEGER_32)
- set_y (new_y: INTEGER_32)
- move_to (new_x: INTEGER_32, new_y: INTEGER_32)
- offset (dx: INTEGER_32, dy: INTEGER_32)
- resize (new_width: INTEGER_32, new_height: INTEGER_32)
- inflate (dw: INTEGER_32, dh: INTEGER_32)
- set_empty
- is_empty: BOOLEAN
- intersect (other: RECT): RECT
- intersect_def (ox: INTEGER_32, oy: INTEGER_32, ow: INTEGER_32, oh: INTEGER_32): RECT
- union (other: RECT): RECT
- contain (point_x: INTEGER_32, point_y: INTEGER_32): BOOLEAN
- include (point_x: INTEGER_32, point_y: INTEGER_32): BOOLEAN
require
- new_width >= 0
- new_height >= 0
ensure
ensure
- x = old x + dx
- y = old y + dy
require
- new_width >= 0
- new_height >= 0
ensure
intersect (other: RECT): RECT
effective function
union (other: RECT): RECT
effective function