class EV_RECTANGLE General cluster: vision2.interface.kernel description: "Rectangular areas." create: make, set, default_create Ancestors ANY Queries bottom: INTEGER has (c: EV_COORDINATE): BOOLEAN has_x_y (a_x, a_y: INTEGER): BOOLEAN height: INTEGER intersects (other: [like Current] EV_RECTANGLE): BOOLEAN left: INTEGER lower_left: EV_COORDINATE lower_right: EV_COORDINATE out: STRING right: INTEGER top: INTEGER upper_left: EV_COORDINATE upper_right: EV_COORDINATE width: INTEGER x: INTEGER y: INTEGER Commands grow_bottom (i: INTEGER) grow_left (i: INTEGER) grow_right (i: INTEGER) grow_top (i: INTEGER) include (a_x, a_y: INTEGER) include_point (c: EV_COORDINATE) merge (other: [like Current] EV_RECTANGLE) move (a_x, a_y: INTEGER) move_and_resize (a_x, a_y, a_width, a_height: INTEGER) resize (a_width, a_height: INTEGER) set_bottom (i: INTEGER) set_height (new_height: INTEGER) set_left (i: INTEGER) set_right (i: INTEGER) set_top (i: INTEGER) set_width (new_width: INTEGER) set_x (new_x: INTEGER) set_y (new_y: INTEGER) Constraints width positive height positive