Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_RECTANGLE General cluster: interface description: "Rectangular areas." create: default_create, make, set Ancestors DEBUG_OUTPUT* Queries bottom: INTEGER_32 contains (other: [like Current] EV_RECTANGLE): BOOLEAN debug_output: STRING_8 has (c: EV_COORDINATE): BOOLEAN has_area: BOOLEAN has_x_y (a_x, a_y: INTEGER_32): BOOLEAN height: INTEGER_32 intersection (other: [like Current] EV_RECTANGLE): [like Current] EV_RECTANGLE intersects (other: [like Current] EV_RECTANGLE): BOOLEAN left: INTEGER_32 lower_left: EV_COORDINATE lower_right: EV_COORDINATE out: STRING_8 right: INTEGER_32 top: INTEGER_32 upper_left: EV_COORDINATE upper_right: EV_COORDINATE width: INTEGER_32 x: INTEGER_32 y: INTEGER_32 Commands grow_bottom (i: INTEGER_32) grow_left (i: INTEGER_32) grow_right (i: INTEGER_32) grow_top (i: INTEGER_32) include (a_x, a_y: INTEGER_32) include_point (c: EV_COORDINATE) merge (other: [like Current] EV_RECTANGLE) move (a_x, a_y: INTEGER_32) move_and_resize (a_x, a_y, a_width, a_height: INTEGER_32) resize (a_width, a_height: INTEGER_32) set_bottom (i: INTEGER_32) set_height (new_height: INTEGER_32) set_left (i: INTEGER_32) set_right (i: INTEGER_32) set_top (i: INTEGER_32) set_width (new_width: INTEGER_32) set_x (new_x: INTEGER_32) set_y (new_y: INTEGER_32) Constraints width positive height positive
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org